Full variable assignments
Double click to show/hide

Method calls quick lookup:
0: main 🔍
1: safeAssumptions
2: PoolHarness.asset
3: PoolHarness.underlyingAllowance
112: Asset.allowance
111: DummyERC20A.allowance
110: DummyERC20B.allowance
109: DummyERC20Impl.allowance
108: DummyWeth.allowance
107: ERC20Basic.allowance
106: FTT.allowance
105: PoolHarness.allowance
104: SushiToken.allowance
103: USDC.allowance
4: USDT.allowance
5: PoolHarness.underlyingBalance
102: Asset.balanceOf
101: DummyERC20A.balanceOf
100: DummyERC20B.balanceOf
99: DummyERC20Impl.balanceOf
98: DummyWeth.balanceOf
97: ERC20Basic.balanceOf
96: FTT.balanceOf
95: PoolHarness.balanceOf
94: SushiToken.balanceOf
93: USDC.balanceOf
6: USDT.balanceOf
7: PoolHarness.flashLoan
92: Asset.transferFrom
91: DummyERC20A.transferFrom
90: DummyERC20B.transferFrom
89: DummyERC20Impl.transferFrom
88: DummyWeth.transferFrom
87: ERC20Basic.transferFrom
86: FTT.transferFrom
85: PoolHarness.transferFrom
84: SushiToken.transferFrom
83: USDC.transferFrom
8: USDT.transferFrom
46: FlexibleReceiver.executeOperation
82: Asset.approve
81: DummyERC20A.approve
80: DummyERC20B.approve
79: DummyERC20Impl.approve
78: DummyWeth.approve
77: ERC20Basic.approve
76: FTT.approve
75: PoolHarness.approve
74: SushiToken.approve
73: USDC.approve
72: USDT.approve
71: Asset.transfer
70: DummyERC20A.transfer
69: DummyERC20B.transfer
68: DummyERC20Impl.transfer
67: DummyWeth.transfer
66: ERC20Basic.transfer
65: FTT.transfer
64: PoolHarness.transfer
63: SushiToken.transfer
62: USDC.transfer
61: USDT.transfer
60: DummyWeth.withdraw
59: PoolHarness.withdraw
58: Asset.transferFrom
57: DummyERC20A.transferFrom
56: DummyERC20B.transferFrom
55: DummyERC20Impl.transferFrom
54: DummyWeth.transferFrom
53: ERC20Basic.transferFrom
52: FTT.transferFrom
51: PoolHarness.transferFrom
50: SushiToken.transferFrom
49: USDC.transferFrom
48: USDT.transferFrom
47: PoolHarness.deposit
34: TransferReceiver.executeOperation
45: Asset.transferFrom
44: DummyERC20A.transferFrom
43: DummyERC20B.transferFrom
42: DummyERC20Impl.transferFrom
41: DummyWeth.transferFrom
40: ERC20Basic.transferFrom
39: FTT.transferFrom
38: PoolHarness.transferFrom
37: SushiToken.transferFrom
36: USDC.transferFrom
35: USDT.transferFrom
10: TrivialReceiver.executeOperation
33: Asset.transferFrom
32: DummyERC20A.transferFrom
31: DummyERC20B.transferFrom
30: DummyERC20Impl.transferFrom
29: DummyWeth.transferFrom
28: ERC20Basic.transferFrom
27: FTT.transferFrom
26: PoolHarness.transferFrom
25: SushiToken.transferFrom
24: USDC.transferFrom
11: USDT.transferFrom
12: PoolHarness.underlyingBalance
23: Asset.balanceOf
22: DummyERC20A.balanceOf
21: DummyERC20B.balanceOf
20: DummyERC20Impl.balanceOf
19: DummyWeth.balanceOf
18: ERC20Basic.balanceOf
17: FTT.balanceOf
16: PoolHarness.balanceOf
15: SushiToken.balanceOf
14: USDC.balanceOf
13: USDT.balanceOf
PresolverRule-flashLoanIncreasesBalance_main 0_0_0_0_0_0 0_0_0_0_0_0 1: safeAssumptions 1: safeAssumptions 0_0_0_0_0_0->1: safeAssumptions 5_0_0_0_0_0 5_0_0_0_0_0 5: PoolHarness.underlyingBalance 5: PoolHarness.underlyingBalance 5_0_0_0_0_0->5: PoolHarness.underlyingBalance 7_0_0_0_0_0 7_0_0_0_0_0 7: PoolHarness.flashLoan 7: PoolHarness.flashLoan 7_0_0_0_0_0->7: PoolHarness.flashLoan 11_0_0_0_0_0 11_0_0_0_0_0 12: PoolHarness.underlyingBalance 12: PoolHarness.underlyingBalance 11_0_0_0_0_0->12: PoolHarness.underlyingBalance 13_0_0_0_0_0 13_0_0_0_0_0 1: safeAssumptions->5_0_0_0_0_0 5: PoolHarness.underlyingBalance->7_0_0_0_0_0 7: PoolHarness.flashLoan->11_0_0_0_0_0 12: PoolHarness.underlyingBalance->13_0_0_0_0_0
Block 0_0_0_0_0_0: tacCalldatabufCANON0@4 = havoc
tacCalldatabufCANON0@6 = havoc
tacCalldatabufCANON0@8 = havoc
tacCalldatabufCANON0@10 = havoc
tacCalldatabufCANON0@11 = havoc
tacCalldatabufCANON0@13 = havoc
tacCalldatabufCANON0@14 = havoc
tacCalldatabufCANON0@15 = havoc
tacCalldatabufCANON0@16 = havoc
tacCalldatabufCANON0@17 = havoc
tacCalldatabufCANON0@18 = havoc
tacCalldatabufCANON0@19 = havoc
tacCalldatabufCANON0@20 = havoc
tacCalldatabufCANON0@21 = havoc
tacCalldatabufCANON0@22 = havoc
tacCalldatabufCANON0@23 = havoc
tacCalldatabufCANON0@24 = havoc
tacCalldatabufCANON0@25 = havoc
tacCalldatabufCANON0@26 = havoc
tacCalldatabufCANON0@27 = havoc
tacCalldatabufCANON0@28 = havoc
tacCalldatabufCANON0@29 = havoc
tacCalldatabufCANON0@30 = havoc
tacCalldatabufCANON0@31 = havoc
tacCalldatabufCANON0@32 = havoc
tacCalldatabufCANON0@33 = havoc
tacCalldatabufCANON0@34 = havoc
tacCalldatabufCANON0@35 = havoc
tacCalldatabufCANON0@36 = havoc
tacCalldatabufCANON0@37 = havoc
tacCalldatabufCANON0@38 = havoc
tacCalldatabufCANON0@39 = havoc
tacCalldatabufCANON0@40 = havoc
tacCalldatabufCANON0@41 = havoc
tacCalldatabufCANON0@42 = havoc
tacCalldatabufCANON0@43 = havoc
tacCalldatabufCANON0@44 = havoc
tacCalldatabufCANON0@45 = havoc
tacCalldatabufCANON0@46 = havoc
tacCalldatabufCANON0@47 = havoc
tacCalldatabufCANON0@48 = havoc
tacCalldatabufCANON0@49 = havoc
tacCalldatabufCANON0@50 = havoc
tacCalldatabufCANON0@51 = havoc
tacCalldatabufCANON0@52 = havoc
tacCalldatabufCANON0@53 = havoc
tacCalldatabufCANON0@54 = havoc
tacCalldatabufCANON0@55 = havoc
tacCalldatabufCANON0@56 = havoc
tacCalldatabufCANON0@57 = havoc
tacCalldatabufCANON0@58 = havoc
tacCalldatabufCANON0@59 = havoc
tacCalldatabufCANON0@60 = havoc
tacCalldatabufCANON0@61 = havoc
tacCalldatabufCANON0@62 = havoc
tacCalldatabufCANON0@63 = havoc
tacCalldatabufCANON0@64 = havoc
tacCalldatabufCANON0@65 = havoc
tacCalldatabufCANON0@66 = havoc
tacCalldatabufCANON0@67 = havoc
tacCalldatabufCANON0@68 = havoc
tacCalldatabufCANON0@69 = havoc
tacCalldatabufCANON0@70 = havoc
tacCalldatabufCANON0@71 = havoc
tacCalldatabufCANON0@72 = havoc
tacCalldatabufCANON0@73 = havoc
tacCalldatabufCANON0@74 = havoc
tacCalldatabufCANON0@75 = havoc
tacCalldatabufCANON0@76 = havoc
tacCalldatabufCANON0@77 = havoc
tacCalldatabufCANON0@78 = havoc
tacCalldatabufCANON0@79 = havoc
tacCalldatabufCANON0@80 = havoc
tacCalldatabufCANON0@81 = havoc
tacCalldatabufCANON0@82 = havoc
tacCalldatabufCANON0@83 = havoc
tacCalldatabufCANON0@84 = havoc
tacCalldatabufCANON0@85 = havoc
tacCalldatabufCANON0@86 = havoc
tacCalldatabufCANON0@87 = havoc
tacCalldatabufCANON0@88 = havoc
tacCalldatabufCANON0@89 = havoc
tacCalldatabufCANON0@90 = havoc
tacCalldatabufCANON0@91 = havoc
tacCalldatabufCANON0@92 = havoc
tacCalldatabufCANON0@93 = havoc
tacCalldatabufCANON0@94 = havoc
tacCalldatabufCANON0@95 = havoc
tacCalldatabufCANON0@96 = havoc
tacCalldatabufCANON0@97 = havoc
tacCalldatabufCANON0@98 = havoc
tacCalldatabufCANON0@99 = havoc
tacCalldatabufCANON0@100 = havoc
tacCalldatabufCANON0@101 = havoc
tacCalldatabufCANON0@102 = havoc
tacCalldatabufCANON0@103 = havoc
tacCalldatabufCANON0@104 = havoc
tacCalldatabufCANON0@105 = havoc
tacCalldatabufCANON0@106 = havoc
tacCalldatabufCANON0@107 = havoc
tacCalldatabufCANON0@108 = havoc
tacCalldatabufCANON0@109 = havoc
tacCalldatabufCANON0@110 = havoc
tacCalldatabufCANON0@111 = havoc
tacCalldatabufCANON0@112 = havoc
tacCalldatasize!!0 = havoc
tacCalldatasize!!1 = havoc
tacCalldatasize!!2 = havoc
tacCalldatasize!!3 = havoc
tacCalldatasize!!4 = havoc
tacCalldatasize!!5 = havoc
tacCalldatasize!!6 = havoc
tacCalldatasize!!7 = havoc
tacCalldatasize!!8 = havoc
tacCalldatasize!!9 = havoc
tacCalldatasize!!10 = havoc
tacCalldatasize!!11 = havoc
tacCalldatasize!!12 = havoc
tacCalldatasize!!13 = havoc
tacCalldatasize!!14 = havoc
tacCalldatasize!!15 = havoc
tacCalldatasize!!16 = havoc
tacCalldatasize!!17 = havoc
tacCalldatasize!!18 = havoc
tacCalldatasize!!19 = havoc
tacCalldatasize!!20 = havoc
tacCalldatasize!!21 = havoc
tacCalldatasize!!22 = havoc
tacCalldatasize!!23 = havoc
tacCalldatasize!!24 = havoc
tacCalldatasize!!25 = havoc
tacCalldatasize!!26 = havoc
tacCalldatasize!!27 = havoc
tacCalldatasize!!28 = havoc
tacCalldatasize!!29 = havoc
tacCalldatasize!!30 = havoc
tacCalldatasize!!31 = havoc
tacCalldatasize!!32 = havoc
tacCalldatasize!!33 = havoc
tacCalldatasize!!34 = havoc
tacCalldatasize!!35 = havoc
tacCalldatasize!!36 = havoc
tacCalldatasize!!37 = havoc
tacCalldatasize!!38 = havoc
tacCalldatasize!!39 = havoc
tacCalldatasize!!40 = havoc
tacCalldatasize!!41 = havoc
tacCalldatasize!!42 = havoc
tacCalldatasize!!43 = havoc
tacCalldatasize!!44 = havoc
tacCalldatasize!!45 = havoc
tacCalldatasize!!46 = havoc
tacCalldatasize!!47 = havoc
tacCalldatasize!!48 = havoc
tacCalldatasize!!49 = havoc
tacCalldatasize!!50 = havoc
tacCalldatasize!!51 = havoc
tacCalldatasize!!52 = havoc
tacCalldatasize!!53 = havoc
tacCalldatasize!!54 = havoc
tacCalldatasize!!55 = havoc
tacCalldatasize!!56 = havoc
tacCalldatasize!!57 = havoc
tacCalldatasize!!58 = havoc
tacCalldatasize!!59 = havoc
tacCalldatasize!!60 = havoc
tacCalldatasize!!61 = havoc
tacCalldatasize!!62 = havoc
tacCalldatasize!!63 = havoc
tacCalldatasize!!64 = havoc
tacCalldatasize!!65 = havoc
tacCalldatasize!!66 = havoc
tacCalldatasize!!67 = havoc
tacCalldatasize!!68 = havoc
tacCalldatasize!!69 = havoc
tacCalldatasize!!70 = havoc
tacCalldatasize!!71 = havoc
tacCalldatasize!!72 = havoc
tacCalldatasize!!73 = havoc
tacCalldatasize!!74 = havoc
tacCalldatasize!!75 = havoc
tacCalldatasize!!76 = havoc
tacCalldatasize!!77 = havoc
tacCalldatasize!!78 = havoc
tacCalldatasize!!79 = havoc
tacCalldatasize!!80 = havoc
tacCalldatasize!!81 = havoc
tacCalldatasize!!82 = havoc
tacCalldatasize!!83 = havoc
tacCalldatasize!!84 = havoc
tacCalldatasize!!85 = havoc
tacCalldatasize!!86 = havoc
tacCalldatasize!!87 = havoc
tacCalldatasize!!88 = havoc
tacCalldatasize!!89 = havoc
tacCalldatasize!!90 = havoc
tacCalldatasize!!91 = havoc
tacCalldatasize!!92 = havoc
tacCalldatasize!!93 = havoc
tacCalldatasize!!94 = havoc
tacCalldatasize!!95 = havoc
tacCalldatasize!!96 = havoc
tacCalldatasize!!97 = havoc
tacCalldatasize!!98 = havoc
tacCalldatasize!!99 = havoc
tacCalldatasize!!100 = havoc
tacCalldatasize!!101 = havoc
tacCalldatasize!!102 = havoc
tacCalldatasize!!103 = havoc
tacCalldatasize!!104 = havoc
R105 = havoc
R106 = havoc
R107 = havoc
R108 = havoc
R109 = havoc
R110 = havoc
R111 = havoc
tacExtcodesize!!112 = havoc
CANON104!!113 = havoc
CANON185!!114 = havoc
CANON186!!115 = havoc
CANON220!!116 = havoc
CANON223!!117 = havoc
CANON226!!118 = havoc
CANON227!!119 = havoc
CANON230!!120 = havoc
CANON231!!121 = havoc
CANON232!!122 = havoc
CANON233!!123 = havoc
CANON234!!124 = havoc
CANON235!!125 = havoc
CANON236!!126 = havoc
CANON237!!127 = havoc
CANON241!!128 = havoc
CANON247!!129 = havoc
CANON252!!130 = havoc
CANON253!!131 = havoc
CANON266!!132 = havoc
CANON280!!133 = havoc
CANON284!!134 = havoc
CANON300!!135 = havoc
CANON323!!136 = havoc
CANON332!!137 = havoc
CANON343!!138 = havoc
CANON349!!139 = havoc
CANON354!!140 = havoc
CANON355!!141 = havoc
CANON356!!142 = havoc
CANON357!!143 = havoc
CANON358!!144 = havoc
CANON359!!145 = havoc
CANON363!!146 = havoc
CANON367!!147 = havoc
CANON372!!148 = havoc
CANON376!!149 = havoc
CANON377!!150 = havoc
CANON393!!151 = havoc
tacMCANON0!!152 = [i.26099 -> 0x0]
tacMCANON1!!153 = [i.26100 -> 0x0]
tacMCANON1!!154 = [i.26101 -> 0x0]
tacMCANON2!!155 = [i.26102 -> 0x0]
tacMCANON9!!167 = [i.26103 -> 0x0]
tacMCANON9!!168 = [i.26104 -> 0x0]
tacMCANON9!!169 = [i.26105 -> 0x0]
tacMCANON9!!171 = [i.26106 -> 0x0]
tacBalance!!172 = havoc
tacMCANON11!!173 = [i.26107 -> 0x0]
tacMCANON11!!174 = [i.26108 -> 0x0]
tacMCANON11!!175 = [i.26109 -> 0x0]
tacMCANON11!!176 = [i.26110 -> 0x0]
tacMCANON14!!177 = [i.26111 -> 0x0]
tacMCANON14!!178 = [i.26112 -> 0x0]
tacMCANON14!!179 = [i.26113 -> 0x0]
tacMCANON14!!180 = [i.26114 -> 0x0]
tacMCANON20!!197 = [i.26115 -> 0x0]
tacMCANON23!!199 = [i.26116 -> 0x0]
tacMCANON29!!204 = [i.26117 -> 0x0]
tacMCANON32!!206 = [i.26118 -> 0x0]
tacMCANON34!!207 = [i.26119 -> 0x0]
tacMCANON36!!208 = [i.26120 -> 0x0]
tacMCANON44!!214 = [i.26121 -> 0x0]
tacMCANON47!!216 = [i.26122 -> 0x0]
tacMCANON49!!217 = [i.26123 -> 0x0]
tacMCANON51!!218 = [i.26124 -> 0x0]
CANON72 = havoc
CANON73 = havoc
CANON74 = havoc
CANON75 = havoc
CANON76 = havoc
CANON77 = havoc
CANON78 = havoc
CANON79 = havoc
CANON80 = havoc
CANON81 = havoc
R219 = havoc
R220 = havoc
R221 = havoc
R222 = havoc
R223 = havoc
R224 = havoc
R225 = havoc
R226 = havoc
R227 = havoc
R228 = havoc
tacSighash!!234 = havoc
tacSighash!!235 = havoc
tacSighash!!236 = havoc
tacSighash!!237 = havoc
tacSighash!!238 = havoc
tacSighash!!239 = havoc
tacSighash!!240 = havoc
tacSighash!!241 = havoc
tacSighash!!242 = havoc
tacSighash!!243 = havoc
tacSighash!!244 = havoc
tacSighash!!245 = havoc
tacSighash!!246 = havoc
tacSighash!!247 = havoc
tacSighash!!248 = havoc
tacSighash!!249 = havoc
tacSighash!!250 = havoc
tacSighash!!251 = havoc
tacSighash!!252 = havoc
tacSighash!!253 = havoc
tacSighash!!254 = havoc
tacSighash!!255 = havoc
tacSighash!!256 = havoc
tacSighash!!257 = havoc
tacSighash!!258 = havoc
tacSighash!!259 = havoc
tacSighash!!260 = havoc
tacSighash!!261 = havoc
tacSighash!!262 = havoc
tacSighash!!263 = havoc
tacSighash!!264 = havoc
tacSighash!!265 = havoc
tacSighash!!266 = havoc
tacSighash!!267 = havoc
tacSighash!!268 = havoc
tacSighash!!269 = havoc
tacSighash!!270 = havoc
tacSighash!!271 = havoc
tacSighash!!272 = havoc
tacSighash!!273 = havoc
tacSighash!!274 = havoc
tacSighash!!275 = havoc
tacSighash!!276 = havoc
tacSighash!!277 = havoc
tacSighash!!278 = havoc
tacSighash!!279 = havoc
tacSighash!!280 = havoc
tacSighash!!281 = havoc
tacSighash!!282 = havoc
tacSighash!!283 = havoc
tacSighash!!284 = havoc
tacSighash!!285 = havoc
tacSighash!!286 = havoc
tacSighash!!287 = havoc
tacSighash!!288 = havoc
tacSighash!!289 = havoc
tacSighash!!290 = havoc
tacSighash!!291 = havoc
tacSighash!!292 = havoc
tacSighash!!293 = havoc
tacSighash!!294 = havoc
tacSighash!!295 = havoc
tacSighash!!296 = havoc
tacSighash!!297 = havoc
tacSighash!!298 = havoc
tacSighash!!299 = havoc
tacSighash!!300 = havoc
tacSighash!!301 = havoc
tacSighash!!302 = havoc
tacSighash!!303 = havoc
tacSighash!!304 = havoc
tacSighash!!305 = havoc
tacSighash!!306 = havoc
tacSighash!!307 = havoc
tacSighash!!308 = havoc
tacSighash!!309 = havoc
tacSighash!!310 = havoc
tacSighash!!311 = havoc
tacSighash!!312 = havoc
tacSighash!!313 = havoc
tacSighash!!314 = havoc
tacSighash!!315 = havoc
tacSighash!!316 = havoc
tacSighash!!317 = havoc
tacSighash!!318 = havoc
tacSighash!!319 = havoc
tacSighash!!320 = havoc
tacSighash!!321 = havoc
tacSighash!!322 = havoc
tacSighash!!323 = havoc
tacSighash!!324 = havoc
tacSighash!!325 = havoc
tacSighash!!326 = havoc
tacSighash!!327 = havoc
tacSighash!!328 = havoc
tacSighash!!329 = havoc
tacSighash!!330 = havoc
tacSighash!!331 = havoc
tacSighash!!332 = havoc
tacSighash!!333 = havoc
tacSighash!!334 = havoc
tacSighash!!335 = havoc
tacSighash!!336 = havoc
tacSighash!!337 = havoc
tacSighash!!338 = havoc
tacSighash!!339 = havoc
tacSighash!!340 = havoc
tacSighash!!341 = havoc
tacSighash!!342 = havoc
tacSighash!!343 = havoc
Setup
multi contract setup

rule parameters setup

contract address vars initialized

setup read tracking instrumentation

last storage initialize
Take snapshot of storage in lastStorage

assumptions about extcodesize
B345 = tacExtcodesize!!112[to_skey:bif(R220)]>0x0
assume B345
B346 = tacExtcodesize!!112[to_skey:bif(R221)]>0x0
assume B346
B347 = tacExtcodesize!!112[to_skey:bif(R222)]>0x0
assume B347
B348 = tacExtcodesize!!112[to_skey:bif(R223)]>0x0
assume B348
B349 = tacExtcodesize!!112[to_skey:bif(R224)]>0x0
assume B349
B350 = tacExtcodesize!!112[to_skey:bif(R225)]>0x0
assume B350
B351 = tacExtcodesize!!112[to_skey:bif(R226)]>0x0
assume B351
B352 = tacExtcodesize!!112[to_skey:bif(R227)]>0x0
assume B352
B353 = tacExtcodesize!!112[to_skey:bif(R219)]>0x0
assume B353
B354 = tacExtcodesize!!112[to_skey:bif(R228)]>0x0
assume B354
B355 = tacExtcodesize!!112[to_skey:bif(R105)]>0x0
assume B355
B356 = tacExtcodesize!!112[to_skey:bif(R106)]>0x0
assume B356
B357 = tacExtcodesize!!112[to_skey:bif(R107)]>0x0
assume B357
B358 = tacExtcodesize!!112[to_skey:bif(R108)]>0x0
assume B358

assumptions about contracts' addresses
assume R220>0x0
assume R220<=MASK160
assume R221>0x0
assume R221<=MASK160
assume R222>0x0
assume R222<=MASK160
assume R223>0x0
assume R223<=MASK160
assume R224>0x0
assume R224<=MASK160
assume R225>0x0
assume R225<=MASK160
assume R226>0x0
assume R226<=MASK160
assume R227>0x0
assume R227<=MASK160
assume R219>0x0
assume R219<=MASK160
assume R228>0x0
assume R228<=MASK160
assume R105>0x0
assume R105<=MASK160
assume R106>0x0
assume R106<=MASK160
assume R107>0x0
assume R107<=MASK160
assume R108>0x0
assume R108<=MASK160
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true

assumptions about starting balances
R387 = tacBalance!!172[to_skey:bif(R220)]
assume R387>=0x0
R389 = tacBalance!!172[to_skey:bif(R221)]
assume R389>=0x0
R391 = tacBalance!!172[to_skey:bif(R222)]
assume R391>=0x0
R393 = tacBalance!!172[to_skey:bif(R223)]
assume R393>=0x0
R395 = tacBalance!!172[to_skey:bif(R224)]
assume R395>=0x0
R397 = tacBalance!!172[to_skey:bif(R225)]
assume R397>=0x0
R399 = tacBalance!!172[to_skey:bif(R226)]
assume R399>=0x0
R401 = tacBalance!!172[to_skey:bif(R227)]
assume R401>=0x0
R403 = tacBalance!!172[to_skey:bif(R219)]
assume R403>=0x0
R405 = tacBalance!!172[to_skey:bif(R228)]
assume R405>=0x0
R407 = tacBalance!!172[to_skey:bif(R105)]
assume R407>=0x0
R409 = tacBalance!!172[to_skey:bif(R106)]
assume R409>=0x0
R411 = tacBalance!!172[to_skey:bif(R107)]
assume R411>=0x0
R413 = tacBalance!!172[to_skey:bif(R108)]
assume R413>=0x0
R415 = tacBalance!!172[to_skey:bif(R109)]
assume R415>=0x0
R417 = tacBalance!!172[to_skey:bif(R110)]
assume R417>=0x0
R419 = tacBalance!!172[skey_basic:bif(0x3)]
assume R419>=0x0
R421 = tacBalance!!172[to_skey:bif(R111)]
assume R421>=0x0
R423 = tacBalance!!172[skey_basic:bif(0x5)]
assume R423>=0x0
R425 = tacBalance!!172[skey_basic:bif(0x6)]
assume R425>=0x0
R427 = tacBalance!!172[skey_basic:bif(0x7)]
assume R427>=0x0
R429 = tacBalance!!172[skey_basic:bif(0x8)]
assume R429>=0x0
R431 = tacBalance!!172[skey_basic:bif(0xf4)]
assume R431>=0x0
R433 = tacBalance!!172[skey_basic:bif(0xf5)]
assume R433>=0x0
R435 = tacBalance!!172[skey_basic:bif(0xf6)]
assume R435>=0x0
R437 = tacBalance!!172[skey_basic:bif(0xf7)]
assume R437>=0x0
R439 = tacBalance!!172[skey_basic:bif(0xf8)]
assume R439>=0x0
R441 = tacBalance!!172[skey_basic:bif(0xf9)]
assume R441>=0x0
R443 = tacBalance!!172[skey_basic:bif(0xfa)]
assume R443>=0x0
R445 = tacBalance!!172[skey_basic:bif(0xfb)]
assume R445>=0x0
R447 = tacBalance!!172[skey_basic:bif(0xfc)]
assume R447>=0x0
R449 = tacBalance!!172[skey_basic:bif(0xfd)]
assume R449>=0x0
R451 = tacBalance!!172[skey_basic:bif(0xfe)]
assume R451>=0x0

assumptions about static addresses

assumptions about uniqueness of contracts' addressses
assume !(R220==R221)
assume !(R220==R222)
assume !(R220==R223)
assume !(R220==R224)
assume !(R220==R225)
assume !(R220==R226)
assume !(R220==R227)
assume !(R220==R219)
assume !(R220==R228)
assume !(R220==R105)
assume !(R220==R106)
assume !(R220==R107)
assume !(R220==R108)
assume !(R220==0x3)
assume !(R220==0x5)
assume !(R220==0x6)
assume !(R220==0x7)
assume !(R220==0x8)
assume !(R220==0xf4)
assume !(R220==0xf5)
assume !(R220==0xf6)
assume !(R220==0xf7)
assume !(R220==0xf8)
assume !(R220==0xf9)
assume !(R220==0xfa)
assume !(R220==0xfb)
assume !(R220==0xfc)
assume !(R220==0xfd)
assume !(R220==0xfe)
assume !(R221==R222)
assume !(R221==R223)
assume !(R221==R224)
assume !(R221==R225)
assume !(R221==R226)
assume !(R221==R227)
assume !(R221==R219)
assume !(R221==R228)
assume !(R221==R105)
assume !(R221==R106)
assume !(R221==R107)
assume !(R221==R108)
assume !(R221==0x3)
assume !(R221==0x5)
assume !(R221==0x6)
assume !(R221==0x7)
assume !(R221==0x8)
assume !(R221==0xf4)
assume !(R221==0xf5)
assume !(R221==0xf6)
assume !(R221==0xf7)
assume !(R221==0xf8)
assume !(R221==0xf9)
assume !(R221==0xfa)
assume !(R221==0xfb)
assume !(R221==0xfc)
assume !(R221==0xfd)
assume !(R221==0xfe)
assume !(R222==R223)
assume !(R222==R224)
assume !(R222==R225)
assume !(R222==R226)
assume !(R222==R227)
assume !(R222==R219)
assume !(R222==R228)
assume !(R222==R105)
assume !(R222==R106)
assume !(R222==R107)
assume !(R222==R108)
assume !(R222==0x3)
assume !(R222==0x5)
assume !(R222==0x6)
assume !(R222==0x7)
assume !(R222==0x8)
assume !(R222==0xf4)
assume !(R222==0xf5)
assume !(R222==0xf6)
assume !(R222==0xf7)
assume !(R222==0xf8)
assume !(R222==0xf9)
assume !(R222==0xfa)
assume !(R222==0xfb)
assume !(R222==0xfc)
assume !(R222==0xfd)
assume !(R222==0xfe)
assume !(R223==R224)
assume !(R223==R225)
assume !(R223==R226)
assume !(R223==R227)
assume !(R223==R219)
assume !(R223==R228)
assume !(R223==R105)
assume !(R223==R106)
assume !(R223==R107)
assume !(R223==R108)
assume !(R223==0x3)
assume !(R223==0x5)
assume !(R223==0x6)
assume !(R223==0x7)
assume !(R223==0x8)
assume !(R223==0xf4)
assume !(R223==0xf5)
assume !(R223==0xf6)
assume !(R223==0xf7)
assume !(R223==0xf8)
assume !(R223==0xf9)
assume !(R223==0xfa)
assume !(R223==0xfb)
assume !(R223==0xfc)
assume !(R223==0xfd)
assume !(R223==0xfe)
assume !(R224==R225)
assume !(R224==R226)
assume !(R224==R227)
assume !(R224==R219)
assume !(R224==R228)
assume !(R224==R105)
assume !(R224==R106)
assume !(R224==R107)
assume !(R224==R108)
assume !(R224==0x3)
assume !(R224==0x5)
assume !(R224==0x6)
assume !(R224==0x7)
assume !(R224==0x8)
assume !(R224==0xf4)
assume !(R224==0xf5)
assume !(R224==0xf6)
assume !(R224==0xf7)
assume !(R224==0xf8)
assume !(R224==0xf9)
assume !(R224==0xfa)
assume !(R224==0xfb)
assume !(R224==0xfc)
assume !(R224==0xfd)
assume !(R224==0xfe)
assume !(R225==R226)
assume !(R225==R227)
assume !(R225==R219)
assume !(R225==R228)
assume !(R225==R105)
assume !(R225==R106)
assume !(R225==R107)
assume !(R225==R108)
assume !(R225==0x3)
assume !(R225==0x5)
assume !(R225==0x6)
assume !(R225==0x7)
assume !(R225==0x8)
assume !(R225==0xf4)
assume !(R225==0xf5)
assume !(R225==0xf6)
assume !(R225==0xf7)
assume !(R225==0xf8)
assume !(R225==0xf9)
assume !(R225==0xfa)
assume !(R225==0xfb)
assume !(R225==0xfc)
assume !(R225==0xfd)
assume !(R225==0xfe)
assume !(R226==R227)
assume !(R226==R219)
assume !(R226==R228)
assume !(R226==R105)
assume !(R226==R106)
assume !(R226==R107)
assume !(R226==R108)
assume !(R226==0x3)
assume !(R226==0x5)
assume !(R226==0x6)
assume !(R226==0x7)
assume !(R226==0x8)
assume !(R226==0xf4)
assume !(R226==0xf5)
assume !(R226==0xf6)
assume !(R226==0xf7)
assume !(R226==0xf8)
assume !(R226==0xf9)
assume !(R226==0xfa)
assume !(R226==0xfb)
assume !(R226==0xfc)
assume !(R226==0xfd)
assume !(R226==0xfe)
assume !(R227==R219)
assume !(R227==R228)
assume !(R227==R105)
assume !(R227==R106)
assume !(R227==R107)
assume !(R227==R108)
assume !(R227==0x3)
assume !(R227==0x5)
assume !(R227==0x6)
assume !(R227==0x7)
assume !(R227==0x8)
assume !(R227==0xf4)
assume !(R227==0xf5)
assume !(R227==0xf6)
assume !(R227==0xf7)
assume !(R227==0xf8)
assume !(R227==0xf9)
assume !(R227==0xfa)
assume !(R227==0xfb)
assume !(R227==0xfc)
assume !(R227==0xfd)
assume !(R227==0xfe)
assume !(R219==R228)
assume !(R219==R105)
assume !(R219==R106)
assume !(R219==R107)
assume !(R219==R108)
assume !(R219==0x3)
assume !(R219==0x5)
assume !(R219==0x6)
assume !(R219==0x7)
assume !(R219==0x8)
assume !(R219==0xf4)
assume !(R219==0xf5)
assume !(R219==0xf6)
assume !(R219==0xf7)
assume !(R219==0xf8)
assume !(R219==0xf9)
assume !(R219==0xfa)
assume !(R219==0xfb)
assume !(R219==0xfc)
assume !(R219==0xfd)
assume !(R219==0xfe)
assume !(R228==R105)
assume !(R228==R106)
assume !(R228==R107)
assume !(R228==R108)
assume !(R228==0x3)
assume !(R228==0x5)
assume !(R228==0x6)
assume !(R228==0x7)
assume !(R228==0x8)
assume !(R228==0xf4)
assume !(R228==0xf5)
assume !(R228==0xf6)
assume !(R228==0xf7)
assume !(R228==0xf8)
assume !(R228==0xf9)
assume !(R228==0xfa)
assume !(R228==0xfb)
assume !(R228==0xfc)
assume !(R228==0xfd)
assume !(R228==0xfe)
assume !(R105==R106)
assume !(R105==R107)
assume !(R105==R108)
assume !(R105==0x3)
assume !(R105==0x5)
assume !(R105==0x6)
assume !(R105==0x7)
assume !(R105==0x8)
assume !(R105==0xf4)
assume !(R105==0xf5)
assume !(R105==0xf6)
assume !(R105==0xf7)
assume !(R105==0xf8)
assume !(R105==0xf9)
assume !(R105==0xfa)
assume !(R105==0xfb)
assume !(R105==0xfc)
assume !(R105==0xfd)
assume !(R105==0xfe)
assume !(R106==R107)
assume !(R106==R108)
assume !(R106==0x3)
assume !(R106==0x5)
assume !(R106==0x6)
assume !(R106==0x7)
assume !(R106==0x8)
assume !(R106==0xf4)
assume !(R106==0xf5)
assume !(R106==0xf6)
assume !(R106==0xf7)
assume !(R106==0xf8)
assume !(R106==0xf9)
assume !(R106==0xfa)
assume !(R106==0xfb)
assume !(R106==0xfc)
assume !(R106==0xfd)
assume !(R106==0xfe)
assume !(R107==R108)
assume !(R107==0x3)
assume !(R107==0x5)
assume !(R107==0x6)
assume !(R107==0x7)
assume !(R107==0x8)
assume !(R107==0xf4)
assume !(R107==0xf5)
assume !(R107==0xf6)
assume !(R107==0xf7)
assume !(R107==0xf8)
assume !(R107==0xf9)
assume !(R107==0xfa)
assume !(R107==0xfb)
assume !(R107==0xfc)
assume !(R107==0xfd)
assume !(R107==0xfe)
assume !(R108==0x3)
assume !(R108==0x5)
assume !(R108==0x6)
assume !(R108==0x7)
assume !(R108==0x8)
assume !(R108==0xf4)
assume !(R108==0xf5)
assume !(R108==0xf6)
assume !(R108==0xf7)
assume !(R108==0xf8)
assume !(R108==0xf9)
assume !(R108==0xfa)
assume !(R108==0xfb)
assume !(R108==0xfc)
assume !(R108==0xfd)
assume !(R108==0xfe)
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true
assume true

record starting nonces

cloned contracts have no balances

Linked immutable setup


assume (CANON72<=MASK160)&&(CANON72>=0x0)
assume (CANON73<=MASK256)&&(CANON73>=0x0)
assume (CANON74<=MASK160)&&(CANON74>=0x0)
assume (CANON75<=MASK256)&&(CANON75>=0x0)
assume (CANON76<=MASK160)&&(CANON76>=0x0)
assume (CANON77<=MASK160)&&(CANON77>=0x0)
assume (CANON78<=MASK256)&&(CANON78>=0x0)
assume (CANON79<=MASK256)&&(CANON79>=0x0)
assume (CANON80<=MASK256)&&(CANON80>=0x0)
assume (CANON81<=MASK256)&&(CANON81>=0x0)
safeAssumptions(receiver, e)

Block 5_0_0_0_0_0:
balance_before = PoolHarness.underlyingBalance()

Block 7_0_0_0_0_0: assume !false
assume !false
Take snapshot of storage in lastStorage

PoolHarness.flashLoan(e, receiver, amount)
I1009 = CANON72
I1010 = CANON73

Block 11_0_0_0_0_0: assume !false
assume !false
Take snapshot of storage in lastStorage

balance_after = PoolHarness.underlyingBalance()

Block 13_0_0_0_0_0: assume !false
assume !false
Take snapshot of storage in lastStorage

assert balance_after >= balance_before
I1011 = CANON216
I1012 = CANON140
B1013 = I1011>=I1012
assert B1013, "flash loans must not decrease the contract's underlying balance"


Block 1_0_0_1_0_1: ::1: safeAssumptions::

Block 0_0_0_5_0_0: ::5: PoolHarness.underlyingBalance::

Block 0_0_0_7_0_0: ::7: PoolHarness.flashLoan::

Block 0_0_0_12_0_0: ::12: PoolHarness.underlyingBalance::
Successor map:
Edge 4401_1008_0_7_2_26 -> 11_0_0_0_0_0: true
Edge 1_0_0_1_0_1 -> 5_0_0_0_0_0:
Edge 0_0_0_5_0_0 -> 7_0_0_0_0_0:
Edge 11_0_0_0_0_0 -> 0_0_0_12_0_0: true
Edge 3011_1013_0_5_2_11 -> 7_0_0_0_0_0: true
Edge 4_0_0_1_0_8 -> 5_0_0_0_0_0: true
Edge 0_0_0_12_0_0 -> 13_0_0_0_0_0:
Edge 3011_1013_0_12_2_29 -> 13_0_0_0_0_0: true
Edge 7_0_0_0_0_0 -> 0_0_0_7_0_0: true
Edge 5_0_0_0_0_0 -> 0_0_0_5_0_0: true
Edge 0_0_0_0_0_0 -> 1_0_0_1_0_1: true
Edge 0_0_0_7_0_0 -> 11_0_0_0_0_0:
Predecessor map:
100_0_0_88_0_4696 <- 2897_1017_0_88_2_5655 , 0_0_0_88_0_5654 , 3368_1010_0_88_0_0 , 2723_1014_0_88_0_5660 , 3743_1010_0_88_0_5656 , 3743_1010_5_88_0_5657 , 3376_1010_0_88_0_5659 , 3420_1011_0_88_0_0
12907_1008_0_61_0_0 <- 13929_1004_0_61_0_0
52_0_0_7_0_0 <- 466_1014_0_46_0_0 , 2108_1008_0_46_0_0 , 661_1014_0_46_0_0 , 2108_1004_0_46_0_0 , 238_1008_0_46_0_0 , 1699_1014_0_46_0_0 , 1054_1008_0_46_0_0 , 0_0_0_46_0_0 , 2108_1005_0_46_0_0 , 850_1008_0_46_0_0 , 2108_1006_0_46_0_0 , 451_1008_0_46_0_0 , 1069_1014_0_46_0_0 , 1658_1014_0_46_0_0 , 2190_1010_0_46_0_0 , 646_1008_0_46_0_0 , 1743_1017_0_46_0_0 , 1119_1018_0_46_0_0 , 53_0_0_46_0_0 , 865_1014_0_46_0_0
30_0_0_7_0_0 <- 30_0_0_27_0_4776 , 4058_1015_0_27_0_0 , 0_0_0_27_0_0
3429_1019_0_24_2_0 <- 32962_1010_1_24_0_0
6908_1011_1_65_0_0 <- 6126_1018_1_65_2_0
28_0_0_26_0_4786 <- 8242_1012_5_26_0_6107 , 8471_1010_0_26_0_0 , 1554_1019_0_26_0_6106 , 1407_1019_0_26_0_6105 , 7165_1017_0_26_0_0
8916_1015_0_37_0_0 <- 8804_1015_0_37_0_0
3743_1011_5_67_0_0 <- 2974_1018_5_67_2_0
8746_1015_0_84_0_0 <- 16922_1010_5_84_0_0
3429_1019_0_36_2_0 <- 32962_1010_1_36_0_0
16434_1012_0_83_0_0 <- 4046_1016_0_83_0_0
59_0_0_53_0_4839 <- 1283_1019_0_53_0_0 , 1500_1019_0_53_0_5882 , 3562_1017_0_53_0_0 , 4056_1015_0_53_0_5883 , 1496_1019_0_53_0_0 , 4056_1015_5_53_0_5884 , 4283_1010_0_53_0_0 , 1359_1019_0_53_0_0
8916_1015_0_50_0_0 <- 8804_1015_0_50_0_0
8140_1016_0_74_0_0 <- 16922_1011_7_74_0_0
54_0_0_48_0_4882 <- 14864_1010_0_48_0_5913 , 12621_1006_0_48_0_0 , 14864_1010_5_48_0_5914 , 14481_1003_0_48_0_0 , 12861_1005_0_48_0_0 , 12621_1007_0_48_0_0 , 3221_1019_0_48_0_5915 , 14429_1000_0_48_0_0 , 13102_1017_0_48_2_5912 , 13921_1001_0_48_0_0 , 3308_1019_0_48_0_5916 , 0_0_0_48_0_5911 , 11949_1004_0_48_0_0 , 14481_1002_0_48_0_0
53_0_0_47_0_4822 <- 7346_1019_0_47_2_0 , 0_0_0_47_0_0
14429_1000_0_35_0_0 <- 11914_1005_0_35_2_0
14864_1011_3_72_0_0 <- 13179_1018_5_72_2_0
3429_1019_0_49_2_0 <- 32962_1010_1_49_0_0
854_1008_0_46_2_145 <- 67_0_0_46_0_0 , 72_0_0_46_0_0 , 82_0_0_46_0_0 , 70_0_0_46_0_0 , 80_0_0_46_0_0 , 68_0_0_46_0_0 , 78_0_0_46_0_0 , 76_0_0_46_0_0 , 81_0_0_46_0_0 , 74_0_0_46_0_0 , 79_0_0_46_0_0
7107_1018_0_105_2_0 <- 0_0_0_105_0_0
96_0_0_84_0_4718 <- 16378_1005_0_84_0_0 , 8916_1015_0_84_0_5682 , 16918_1010_0_84_0_0 , 8746_1015_0_84_0_0 , 13526_1017_0_84_0_0 , 16386_1005_0_84_0_5683 , 8140_1015_0_84_0_0 , 9774_1010_0_84_0_0 , 9572_1010_5_84_0_5685 , 8858_1015_0_84_0_0 , 8252_1015_0_84_0_0 , 9832_1010_0_84_0_5684
14429_1000_0_48_0_0 <- 11914_1005_0_48_2_0
42_0_0_36_0_5010 <- 16434_1012_0_36_0_0 , 18110_1007_0_36_0_6018 , 3513_1018_0_36_0_0 , 16676_1012_0_36_0_0 , 24804_1017_0_36_0_0 , 16546_1012_0_36_0_0 , 3988_1016_0_36_0_0 , 18052_1007_0_36_0_0 , 3655_1017_0_36_0_0 , 32958_1010_0_36_0_0 , 16734_1012_0_36_0_6017 , 3371_1019_0_36_0_0 , 32435_1002_0_36_0_0 , 32383_1003_0_36_0_0 , 32435_998_0_36_0_0 , 3797_1016_0_36_0_0
58_0_0_46_0_0 <- 4058_1015_0_52_0_0 , 58_0_0_52_0_4845 , 0_0_0_52_0_0
3011_1013_0_5_2_11 <- 112_0_0_5_0_0 , 105_0_0_5_0_0 , 110_0_0_5_0_0 , 108_0_0_5_0_0 , 113_0_0_5_0_0 , 106_0_0_5_0_0 , 111_0_0_5_0_0 , 109_0_0_5_0_0 , 114_0_0_5_0_0 , 107_0_0_5_0_0 , 6_0_0_5_0_0
110_0_0_5_0_0 <- 110_0_0_98_0_4655 , 3743_1012_0_98_0_0 , 0_0_0_98_0_0
4058_1016_0_76_0_0 <- 4000_1016_0_76_0_0
2311_1013_0_71_0_5749 <- 2311_1013_0_71_0_0
2484_1010_0_33_0_78 <- 2461_1010_5_33_0_0
8916_1015_0_84_0_0 <- 8804_1015_0_84_0_0
116_0_0_104_0_4681 <- 13468_1018_0_104_2_0 , 16922_1011_5_104_0_0 , 0_0_0_104_0_0
61_0_0_55_0_4833 <- 3507_1010_0_55_0_5862 , 3507_1010_5_55_0_5863 , 3140_1010_0_55_0_5865 , 3184_1011_0_55_0_0 , 0_0_0_55_0_5860 , 2528_1014_0_55_0_5866 , 2702_1017_0_55_2_5861 , 3132_1010_0_55_0_0
3429_1019_0_83_2_0 <- 32962_1010_1_83_0_0
2484_1010_0_45_0_78 <- 2461_1010_5_45_0_0
10388_1010_0_8_0_0 <- 12907_1005_5_8_0_0 , 12907_1005_0_8_0_5702
8858_1015_0_25_0_0 <- 8804_1015_0_25_0_0
62_0_0_56_0_4830 <- 2702_1017_0_56_2_5850 , 3132_1010_0_56_0_0 , 3507_1010_0_56_0_5851 , 3507_1010_5_56_0_5852 , 3140_1010_0_56_0_5854 , 3184_1011_0_56_0_0 , 0_0_0_56_0_5849 , 2528_1014_0_56_0_5855
79_0_0_68_0_4902 <- 2779_1018_5_68_2_5768 , 3140_1011_0_68_0_5770 , 3184_1012_0_68_0_0 , 3132_1011_0_68_0_0 , 0_0_0_68_0_5767 , 3507_1011_5_68_0_5769
10388_1010_0_11_0_0 <- 12907_1005_5_11_0_0 , 12907_1005_0_11_0_6131
3371_1019_0_24_0_0 <- 32962_1010_1_24_0_0
314_1018_0_46_0_0 <- 304_1018_0_46_0_0
8858_1015_0_37_0_0 <- 8804_1015_0_37_0_0
2484_1010_0_58_0_78 <- 2461_1010_5_58_0_0
30_0_0_27_0_4776 <- 5060_1011_5_27_2_6100 , 6904_1010_0_27_0_0 , 3996_1015_0_27_0_0 , 4494_1015_0_27_0_0 , 5056_1011_0_27_0_0 , 5056_1012_0_27_0_0 , 4054_1015_0_27_0_0 , 6572_1007_0_27_0_0 , 6580_1006_5_27_0_6101 , 3781_1010_0_27_0_0 , 6045_1017_0_27_0_0
45_0_0_39_0_4988 <- 6045_1017_0_39_0_0 , 5060_1011_5_39_2_5999 , 6904_1010_0_39_0_0 , 3996_1015_0_39_0_0 , 4494_1015_0_39_0_0 , 5056_1011_0_39_0_0 , 5056_1012_0_39_0_0 , 4054_1015_0_39_0_0 , 6572_1007_0_39_0_0 , 6580_1006_5_39_0_6000 , 3781_1010_0_39_0_0
79_0_0_46_0_0 <- 79_0_0_68_0_4902 , 2528_1015_0_68_0_0 , 0_0_0_68_0_0
3371_1019_0_36_0_0 <- 32962_1010_1_36_0_0
1500_1019_0_28_0_0 <- 1363_1019_0_28_0_0
8858_1015_0_50_0_0 <- 8804_1015_0_50_0_0
47_0_0_41_0_4979 <- 3420_1011_0_41_0_0 , 2897_1017_0_41_2_5983 , 0_0_0_41_0_5982 , 3368_1010_0_41_0_0 , 2723_1014_0_41_0_5988 , 3743_1010_0_41_0_5984 , 3743_1010_5_41_0_5985 , 3376_1010_0_41_0_5987
11290_1013_0_61_0_0 <- 12907_1008_0_61_0_0
10388_1010_0_35_0_0 <- 12907_1005_5_35_0_0 , 12907_1005_0_35_0_6030
3371_1019_0_49_0_0 <- 32962_1010_1_49_0_0
1500_1019_0_40_0_0 <- 1363_1019_0_40_0_0
24_0_0_24_0_4798 <- 16734_1012_0_24_0_6118 , 3371_1019_0_24_0_0 , 32435_1002_0_24_0_0 , 32383_1003_0_24_0_0 , 32435_998_0_24_0_0 , 3797_1016_0_24_0_0 , 16434_1012_0_24_0_0 , 18110_1007_0_24_0_6119 , 3513_1018_0_24_0_0 , 16676_1012_0_24_0_0 , 24804_1017_0_24_0_0 , 16546_1012_0_24_0_0 , 3988_1016_0_24_0_0 , 18052_1007_0_24_0_0 , 3655_1017_0_24_0_0 , 32958_1010_0_24_0_0
10388_1010_0_48_0_0 <- 12907_1005_5_48_0_0 , 12907_1005_0_48_0_5919
11_0_0_0_0_0 <- 4401_1008_0_7_2_26 , 0_0_0_7_0_0
34_0_0_29_0_4767 <- 3368_1010_0_29_0_0 , 2723_1014_0_29_0_6089 , 3743_1010_0_29_0_6085 , 3743_1010_5_29_0_6086 , 3376_1010_0_29_0_6088 , 3420_1011_0_29_0_0 , 2897_1017_0_29_2_6084 , 0_0_0_29_0_6083
1500_1019_0_53_0_0 <- 1363_1019_0_53_0_0
2484_1010_0_92_0_78 <- 2461_1010_5_92_0_0
12_0_0_13_0_4672 <- 12998_1019_5_13_2_0 , 0_0_0_13_0_0
95_0_0_83_0_4727 <- 18110_1007_0_83_0_5690 , 3513_1018_0_83_0_0 , 16676_1012_0_83_0_0 , 24804_1017_0_83_0_0 , 16546_1012_0_83_0_0 , 3988_1016_0_83_0_0 , 18052_1007_0_83_0_0 , 3655_1017_0_83_0_0 , 32958_1010_0_83_0_0 , 16734_1012_0_83_0_5689 , 3371_1019_0_83_0_0 , 32435_1002_0_83_0_0 , 32383_1003_0_83_0_0 , 32435_998_0_83_0_0 , 3797_1016_0_83_0_0 , 16434_1012_0_83_0_0
11859_1018_0_62_0_0 <- 11717_1019_0_62_0_0
76_0_0_46_0_0 <- 4004_1016_0_66_0_0 , 76_0_0_66_0_4908 , 0_0_0_66_0_0
661_1014_0_46_0_0 <- 650_1008_0_46_2_140
8858_1015_0_84_0_0 <- 8804_1015_0_84_0_0
0_0_0_2_0_2 <- 1_0_0_1_0_1
32958_1011_0_62_0_0 <- 25420_1018_0_62_2_0
118_0_0_3_0_0 <- 0_0_0_106_0_0 , 6908_1011_2_106_0_0 , 118_0_0_106_0_4679
48_0_0_34_0_0 <- 48_0_0_42_0_4976 , 0_0_0_42_0_0 , 3192_1011_5_42_0_0
118_0_0_106_0_4679 <- 0_0_0_106_0_0 , 6908_1011_6_106_0_0 , 5987_1018_0_106_2_0
89_0_0_46_0_0 <- 0_0_0_77_0_0 , 89_0_0_77_0_4954 , 4287_1011_0_77_0_0
3371_1019_0_83_0_0 <- 32962_1010_1_83_0_0
89_0_0_77_0_4954 <- 0_0_0_77_0_0 , 3643_1018_0_77_2_0
95_0_0_7_0_0 <- 32443_1002_0_83_0_0 , 0_0_0_83_0_0 , 95_0_0_83_0_4727
60_0_0_46_0_0 <- 0_0_0_54_0_0 , 60_0_0_54_0_4836 , 3428_1011_5_54_0_0
1500_1019_0_87_0_0 <- 1363_1019_0_87_0_0
60_0_0_54_0_4836 <- 0_0_0_54_0_5871 , 3368_1010_0_54_0_0 , 2723_1014_0_54_0_5877 , 3743_1010_0_54_0_5873 , 3743_1010_5_54_0_5874 , 3376_1010_0_54_0_5876 , 3420_1011_0_54_0_0 , 2897_1017_0_54_2_5872
2_0_0_1_0_3 <- 0_0_0_2_0_2
12907_1008_5_61_0_0 <- 13929_1004_5_61_0_0
14864_1010_0_8_0_5696 <- 14864_1010_0_8_0_0
17_0_0_12_0_0 <- 17_0_0_17_0_4668 , 0_0_0_17_0_0 , 6908_1012_0_17_0_0
2897_1017_0_29_2_0 <- 0_0_0_29_0_0
14864_1010_0_11_0_6125 <- 14864_1010_0_11_0_0
14864_1010_5_8_0_0 <- 14864_1010_0_8_0_0
238_1008_0_46_0_0 <- 2116_1006_0_46_0_0
14864_1010_5_11_0_0 <- 14864_1010_0_11_0_0
2108_1006_0_46_0_0 <- 926_1018_0_46_0_0 , 527_1018_0_46_0_0 , 722_1018_0_46_0_0 , 119_1018_0_46_0_0 , 314_1018_0_46_0_0
18_0_0_12_0_0 <- 4287_1012_0_18_0_0 , 0_0_0_18_0_0 , 18_0_0_18_0_4667
2897_1017_0_41_2_0 <- 0_0_0_41_0_0
11801_1018_0_62_0_0 <- 11717_1019_0_62_0_0
650_1008_0_46_2_138 <- 65_0_0_46_0_0 , 66_0_0_46_0_0
104_0_0_92_0_4684 <- 2311_1012_5_92_0_5617 , 802_1019_0_92_0_5615 , 949_1019_0_92_0_5616 , 2457_1010_0_92_0_0 , 1978_1017_0_92_0_0
14864_1010_0_35_0_6024 <- 14864_1010_0_35_0_0
2897_1017_0_54_2_0 <- 0_0_0_54_0_0
74_0_0_65_0_4913 <- 6580_1007_0_65_0_5787 , 3781_1011_0_65_0_0 , 5060_1012_0_65_2_5786 , 6904_1011_0_65_0_0 , 4494_1016_0_65_0_0 , 6122_1018_0_65_0_0 , 5056_1012_0_65_0_0
10_0_0_11_0_4813 <- 14481_1003_0_11_0_0 , 12861_1005_0_11_0_0 , 12621_1007_0_11_0_0 , 3221_1019_0_11_0_6127 , 14429_1000_0_11_0_0 , 13102_1017_0_11_2_6124 , 13921_1001_0_11_0_0 , 3308_1019_0_11_0_6128 , 0_0_0_11_0_6123 , 11949_1004_0_11_0_0 , 14481_1002_0_11_0_0 , 14864_1010_0_11_0_6125 , 12621_1006_0_11_0_0 , 14864_1010_5_11_0_6126
1359_1019_0_28_0_0 <- 1287_1019_0_28_2_0
14864_1010_5_35_0_0 <- 14864_1010_0_35_0_0
2725_1020_0_66_0_5781 <- 2725_1020_0_66_0_0
41_0_0_34_0_0 <- 10388_1010_0_35_0_0 , 0_0_0_35_0_0 , 41_0_0_35_0_5025
97_0_0_7_0_0 <- 97_0_0_85_0_4715 , 0_0_0_85_0_0 , 8051_1012_0_85_0_0
43_0_0_37_0_5001 <- 16378_1005_0_37_0_0 , 8916_1015_0_37_0_6010 , 16918_1010_0_37_0_0 , 8746_1015_0_37_0_0 , 13526_1017_0_37_0_0 , 16386_1005_0_37_0_6011 , 8140_1015_0_37_0_0 , 9774_1010_0_37_0_0 , 9572_1010_5_37_0_6013 , 8858_1015_0_37_0_0 , 8252_1015_0_37_0_0 , 9832_1010_0_37_0_6012
14864_1010_0_48_0_5913 <- 14864_1010_0_48_0_0
1118_1018_0_46_0_0 <- 1703_1014_5_46_2_0 , 1117_1018_0_46_0_4751
1359_1019_0_40_0_0 <- 1287_1019_0_40_2_0
14864_1010_5_48_0_0 <- 14864_1010_0_48_0_0
37_0_0_32_0_4758 <- 3507_1010_0_32_0_6052 , 3507_1010_5_32_0_6053 , 3140_1010_0_32_0_6055 , 3184_1011_0_32_0_0 , 0_0_0_32_0_6050 , 2528_1014_0_32_0_6056 , 2702_1017_0_32_2_6051 , 3132_1010_0_32_0_0
1359_1019_0_53_0_0 <- 1287_1019_0_53_2_0
123_0_0_111_0_4674 <- 3507_1011_1_111_0_0 , 0_0_0_111_0_0 , 2640_1018_0_111_2_0
3713_1017_0_24_0_0 <- 3571_1018_0_24_0_0
2897_1017_0_88_2_0 <- 0_0_0_88_0_0
3507_1011_3_109_0_0 <- 3507_1011_1_109_0_0
4283_1011_0_66_0_0 <- 3643_1018_5_66_2_0
3507_1011_3_110_0_0 <- 3507_1011_1_110_0_0
3713_1017_0_36_0_0 <- 3571_1018_0_36_0_0
3507_1011_3_111_0_0 <- 3507_1011_1_111_0_0
4056_1016_0_66_0_0 <- 2725_1020_0_66_0_0
35_0_0_7_0_0 <- 3192_1011_5_30_0_0 , 35_0_0_30_0_4764 , 0_0_0_30_0_0
3428_1011_0_29_0_0 <- 2525_1015_0_29_2_0
5134_1020_0_61_0_0 <- 5047_1020_0_61_0_0
117_0_0_105_0_4680 <- 7107_1018_0_105_2_0 , 8475_1011_1_105_0_0 , 0_0_0_105_0_0
3713_1017_0_49_0_0 <- 3571_1018_0_49_0_0
3428_1011_0_41_0_0 <- 2525_1015_0_41_2_0
3011_1013_0_12_2_29 <- 16_0_0_12_0_0 , 21_0_0_12_0_0 , 14_0_0_12_0_0 , 19_0_0_12_0_0 , 12_0_0_12_0_0 , 17_0_0_12_0_0 , 22_0_0_12_0_0 , 15_0_0_12_0_0 , 20_0_0_12_0_0 , 18_0_0_12_0_0 , 23_0_0_12_0_0
3140_1010_0_30_0_6077 <- 3140_1010_0_30_0_0
3140_1010_0_31_0_6066 <- 3140_1010_0_31_0_0
1359_1019_0_87_0_0 <- 1287_1019_0_87_2_0
3140_1010_0_32_0_6055 <- 3140_1010_0_32_0_0
3428_1011_0_54_0_0 <- 2525_1015_0_54_2_0
3140_1010_0_42_0_5976 <- 3140_1010_0_42_0_0
1058_1008_0_46_2_177 <- 84_0_0_46_0_0 , 89_0_0_46_0_0 , 94_0_0_46_0_0 , 87_0_0_46_0_0 , 92_0_0_46_0_0 , 85_0_0_46_0_0 , 90_0_0_46_0_0 , 88_0_0_46_0_0 , 93_0_0_46_0_0 , 86_0_0_46_0_0 , 91_0_0_46_0_0
3140_1010_0_43_0_5965 <- 3140_1010_0_43_0_0
3140_1010_0_44_0_5954 <- 3140_1010_0_44_0_0
8475_1012_5_16_0_0 <- 7065_1019_5_16_2_0
5_0_0_0_0_0 <- 1_0_0_1_0_1 , 4_0_0_1_0_8
16604_1014_0_62_0_0 <- 16492_1014_0_62_0_0
102_0_0_90_0_4690 <- 2528_1014_0_90_0_5638 , 2702_1017_0_90_2_5633 , 3132_1010_0_90_0_0 , 3507_1010_0_90_0_5634 , 3507_1010_5_90_0_5635 , 3140_1010_0_90_0_5637 , 3184_1011_0_90_0_0 , 0_0_0_90_0_5632
123_0_0_3_0_0 <- 0_0_0_111_0_0 , 3507_1011_3_111_0_0 , 123_0_0_111_0_4674
3140_1010_0_55_0_5865 <- 3140_1010_0_55_0_0
3558_1012_0_3_2_7 <- 117_0_0_3_0_0 , 122_0_0_3_0_0 , 115_0_0_3_0_0 , 120_0_0_3_0_0 , 118_0_0_3_0_0 , 123_0_0_3_0_0 , 116_0_0_3_0_0 , 121_0_0_3_0_0 , 3_0_0_3_0_0 , 119_0_0_3_0_0 , 124_0_0_3_0_0
17_0_0_17_0_4668 <- 5945_1019_0_17_2_0 , 0_0_0_17_0_0
3140_1010_0_56_0_5854 <- 3140_1010_0_56_0_0
3140_1010_0_57_0_5843 <- 3140_1010_0_57_0_0
3713_1017_0_83_0_0 <- 3571_1018_0_83_0_0
5056_1011_0_27_0_0 <- 4498_1015_0_27_0_0
94_0_0_46_0_0 <- 0_0_0_82_0_0 , 94_0_0_82_0_4949 , 2461_1011_0_82_0_0
94_0_0_82_0_4949 <- 0_0_0_82_0_0 , 2059_1018_0_82_2_0
9503_1010_0_8_0_50 <- 12000_1005_0_8_0_0
2055_1018_0_71_0_0 <- 0_0_0_71_0_0
3655_1017_0_24_0_0 <- 3571_1018_0_24_0_0
16_0_0_12_0_0 <- 8475_1012_5_16_0_0 , 16_0_0_16_0_4669 , 0_0_0_16_0_0
2330_1015_0_30_2_6076 <- 2330_1015_0_30_2_0
9503_1010_0_11_0_50 <- 12000_1005_0_11_0_0
2330_1015_0_31_2_6065 <- 2330_1015_0_31_2_0
2330_1015_0_32_2_6054 <- 2330_1015_0_32_2_0
5056_1011_0_39_0_0 <- 4498_1015_0_39_0_0
65_0_0_46_0_0 <- 0_0_0_59_0_0 , 65_0_0_59_0_4891
65_0_0_59_0_4891 <- 0_0_0_59_0_0 , 7346_1019_3_59_2_0
56_0_0_50_0_4858 <- 9572_1010_5_50_0_5902 , 8858_1015_0_50_0_0 , 8252_1015_0_50_0_0 , 9832_1010_0_50_0_5901 , 16378_1005_0_50_0_0 , 8916_1015_0_50_0_5899 , 16918_1010_0_50_0_0 , 8746_1015_0_50_0_0 , 13526_1017_0_50_0_0 , 16386_1005_0_50_0_5900 , 8140_1015_0_50_0_0 , 9774_1010_0_50_0_0
3428_1011_0_88_0_0 <- 2525_1015_0_88_2_0
36_0_0_7_0_0 <- 0_0_0_31_0_0 , 3192_1011_5_31_0_0 , 36_0_0_31_0_4761
3655_1017_0_36_0_0 <- 3571_1018_0_36_0_0
2330_1015_0_42_2_5975 <- 2330_1015_0_42_2_0
2330_1015_0_43_2_5964 <- 2330_1015_0_43_2_0
2330_1015_0_44_2_5953 <- 2330_1015_0_44_2_0
5056_1011_0_52_0_0 <- 4498_1015_0_52_0_0
36_0_0_31_0_4761 <- 0_0_0_31_0_6061 , 2528_1014_0_31_0_6067 , 2702_1017_0_31_2_6062 , 3132_1010_0_31_0_0 , 3507_1010_0_31_0_6063 , 3507_1010_5_31_0_6064 , 3140_1010_0_31_0_6066 , 3184_1011_0_31_0_0
42_0_0_34_0_0 <- 32443_1002_0_36_0_0 , 0_0_0_36_0_0 , 42_0_0_36_0_5010
7_0_0_0_0_0 <- 0_0_0_5_0_0 , 3011_1013_0_5_2_11
3140_1010_0_89_0_5648 <- 3140_1010_0_89_0_0
3140_1010_0_90_0_5637 <- 3140_1010_0_90_0_0
3507_1011_5_68_0_5769 <- 3507_1011_5_68_0_0
9503_1010_0_35_0_50 <- 12000_1005_0_35_0_0
3140_1010_0_91_0_5626 <- 3140_1010_0_91_0_0
3655_1017_0_49_0_0 <- 3571_1018_0_49_0_0
3507_1011_5_69_0_5762 <- 3507_1011_5_69_0_0
2330_1015_0_55_2_5864 <- 2330_1015_0_55_2_0
3507_1011_5_70_0_5755 <- 3507_1011_5_70_0_0
2330_1015_0_56_2_5853 <- 2330_1015_0_56_2_0
2330_1015_0_57_2_5842 <- 2330_1015_0_57_2_0
10040_1010_0_8_0_0 <- 12907_1005_0_8_0_0
14864_1010_5_8_0_5697 <- 14864_1010_5_8_0_0
10040_1010_0_11_0_0 <- 12907_1005_0_11_0_0
8242_1012_5_26_0_6107 <- 8242_1012_5_26_0_0
14864_1010_5_11_0_6126 <- 14864_1010_5_11_0_0
115_0_0_3_0_0 <- 115_0_0_103_0_4682 , 0_0_0_103_0_0 , 32962_1011_4_103_0_0
9503_1010_0_48_0_50 <- 12000_1005_0_48_0_0
9521_1011_0_8_0_0 <- 9516_1011_0_8_0_0 , 9503_1010_0_8_0_50
16386_1005_0_25_0_6112 <- 16386_1005_0_25_0_0
9521_1011_0_11_0_0 <- 9516_1011_0_11_0_0 , 9503_1010_0_11_0_50
8242_1012_5_38_0_6006 <- 8242_1012_5_38_0_0
5056_1011_0_86_0_0 <- 4498_1015_0_86_0_0
16546_1014_0_62_0_0 <- 16492_1014_0_62_0_0
16386_1005_0_37_0_6011 <- 16386_1005_0_37_0_0
10040_1010_0_35_0_0 <- 12907_1005_0_35_0_0
3507_1011_0_79_0_0 <- 2779_1018_0_79_2_0
5047_1020_0_61_0_5807 <- 5047_1020_0_61_0_0
3507_1011_0_80_0_0 <- 2779_1018_0_80_2_0
14864_1010_5_35_0_6025 <- 14864_1010_5_35_0_0
3507_1011_0_81_0_0 <- 2779_1018_0_81_2_0
8242_1012_5_51_0_5895 <- 8242_1012_5_51_0_0
8475_1012_5_95_0_0 <- 7065_1019_5_95_2_0
2259_1012_0_33_0_0 <- 2311_1012_5_33_0_0
3655_1017_0_83_0_0 <- 3571_1018_0_83_0_0
2330_1015_0_89_2_5647 <- 2330_1015_0_89_2_0
2330_1015_0_90_2_5636 <- 2330_1015_0_90_2_0
2330_1015_0_91_2_5625 <- 2330_1015_0_91_2_0
51_0_0_45_0_4967 <- 2311_1012_5_45_0_5945 , 802_1019_0_45_0_5943 , 949_1019_0_45_0_5944 , 2457_1010_0_45_0_0 , 1978_1017_0_45_0_0
16386_1005_0_50_0_5900 <- 16386_1005_0_50_0_0
9521_1011_0_35_0_0 <- 9516_1011_0_35_0_0 , 9503_1010_0_35_0_50
10040_1010_0_48_0_0 <- 12907_1005_0_48_0_0
14864_1010_5_48_0_5914 <- 14864_1010_5_48_0_0
2259_1012_0_45_0_0 <- 2311_1012_5_45_0_0
101_0_0_89_0_4693 <- 2702_1017_0_89_2_5644 , 3132_1010_0_89_0_0 , 3507_1010_0_89_0_5645 , 3507_1010_5_89_0_5646 , 3140_1010_0_89_0_5648 , 3184_1011_0_89_0_0 , 0_0_0_89_0_5643 , 2528_1014_0_89_0_5649
84_0_0_46_0_0 <- 84_0_0_72_0_4966 , 8916_1014_0_72_0_0 , 0_0_0_72_0_0
98_0_0_86_0_4705 <- 5060_1011_5_86_2_5671 , 6904_1010_0_86_0_0 , 3996_1015_0_86_0_0 , 4494_1015_0_86_0_0 , 5056_1011_0_86_0_0 , 5056_1012_0_86_0_0 , 4054_1015_0_86_0_0 , 6572_1007_0_86_0_0 , 6580_1006_5_86_0_5672 , 3781_1010_0_86_0_0 , 6045_1017_0_86_0_0
9521_1011_0_48_0_0 <- 9516_1011_0_48_0_0 , 9503_1010_0_48_0_50
2259_1012_0_58_0_0 <- 2311_1012_5_58_0_0
4494_1016_0_65_0_0 <- 6908_1011_1_65_0_0
8242_1012_5_85_0_5678 <- 8242_1012_5_85_0_0
0_0_0_12_0_0 <- 11_0_0_0_0_0
16386_1005_0_84_0_5683 <- 16386_1005_0_84_0_0
3428_1011_5_29_0_0 <- 2525_1015_5_29_2_0
1554_1019_0_26_0_0 <- 8242_1012_0_26_0_0 , 8521_1010_0_26_0_60
3428_1011_5_41_0_0 <- 2525_1015_5_41_2_0
2259_1012_0_92_0_0 <- 2311_1012_5_92_0_0
53_0_0_46_0_0 <- 53_0_0_47_0_4822 , 0_0_0_47_0_0
1554_1019_0_38_0_0 <- 8242_1012_0_38_0_0 , 8521_1010_0_38_0_60
4000_1015_0_27_0_0 <- 6580_1007_5_27_0_0
3428_1011_5_54_0_0 <- 2525_1015_5_54_2_0
1554_1019_0_51_0_0 <- 8242_1012_0_51_0_0 , 8521_1010_0_51_0_60
455_1008_0_46_2_113 <- 56_0_0_46_0_0 , 61_0_0_46_0_0 , 54_0_0_46_0_0 , 59_0_0_46_0_0 , 64_0_0_46_0_0 , 57_0_0_46_0_0 , 62_0_0_46_0_0 , 55_0_0_46_0_0 , 60_0_0_46_0_0 , 58_0_0_46_0_0 , 63_0_0_46_0_0
4000_1015_0_39_0_0 <- 6580_1007_5_39_0_0
4056_1015_0_28_0_6095 <- 4056_1015_0_28_0_0
99_0_0_7_0_0 <- 0_0_0_87_0_0 , 99_0_0_87_0_4699 , 4004_1015_0_87_0_0
4056_1015_5_28_0_0 <- 4056_1015_0_28_0_0
8310_1016_0_74_0_0 <- 8198_1016_0_74_0_0
4000_1015_0_52_0_0 <- 6580_1007_5_52_0_0
2330_1015_5_30_2_6079 <- 2330_1015_5_30_2_0
2330_1015_5_31_2_6068 <- 2330_1015_5_31_2_0
49_0_0_43_0_4973 <- 2528_1014_0_43_0_5966 , 2702_1017_0_43_2_5961 , 3132_1010_0_43_0_0 , 3507_1010_0_43_0_5962 , 3507_1010_5_43_0_5963 , 3140_1010_0_43_0_5965 , 3184_1011_0_43_0_0 , 0_0_0_43_0_5960
2330_1015_5_32_2_6057 <- 2330_1015_5_32_2_0
1662_1014_1_46_2_0 <- 475_1014_0_46_2_0
4056_1015_0_40_0_5994 <- 4056_1015_0_40_0_0
70_0_0_46_0_0 <- 0_0_0_63_0_0 , 70_0_0_63_0_4922 , 9832_1011_0_63_0_0
22_0_0_12_0_0 <- 22_0_0_22_0_4663 , 0_0_0_22_0_0 , 3507_1012_0_22_0_0
254_1009_0_34_2_84 <- 45_0_0_34_0_0 , 50_0_0_34_0_0 , 43_0_0_34_0_0 , 48_0_0_34_0_0 , 41_0_0_34_0_0 , 46_0_0_34_0_0 , 51_0_0_34_0_0 , 44_0_0_34_0_0 , 49_0_0_34_0_0 , 42_0_0_34_0_0 , 47_0_0_34_0_0
3428_1011_5_88_0_0 <- 2525_1015_5_88_2_0
4056_1015_5_40_0_0 <- 4056_1015_0_40_0_0
70_0_0_63_0_4922 <- 9774_1011_0_63_0_0 , 13603_1018_0_63_0_0 , 8858_1016_0_63_0_0 , 16219_1007_0_63_0_0 , 16378_1006_0_63_0_0 , 8916_1016_0_63_0_5796 , 16918_1011_0_63_0_0 , 8746_1016_0_63_0_0
2330_1015_5_42_2_5978 <- 2330_1015_5_42_2_0
1554_1019_0_85_0_0 <- 8242_1012_0_85_0_0 , 8521_1010_0_85_0_60
2330_1015_5_43_2_5967 <- 2330_1015_5_43_2_0
2330_1015_5_44_2_5956 <- 2330_1015_5_44_2_0
9521_1011_0_8_0_51 <- 9521_1011_0_8_0_0
41_0_0_35_0_5025 <- 0_0_0_35_0_6022 , 11949_1004_0_35_0_0 , 14481_1002_0_35_0_0 , 14864_1010_0_35_0_6024 , 12621_1006_0_35_0_0 , 14864_1010_5_35_0_6025 , 14481_1003_0_35_0_0 , 12861_1005_0_35_0_0 , 12621_1007_0_35_0_0 , 3221_1019_0_35_0_6026 , 14429_1000_0_35_0_0 , 13102_1017_0_35_2_6023 , 13921_1001_0_35_0_0 , 3308_1019_0_35_0_6027
4056_1015_0_53_0_5883 <- 4056_1015_0_53_0_0
9521_1011_0_11_0_51 <- 9521_1011_0_11_0_0
4056_1015_5_53_0_0 <- 4056_1015_0_53_0_0
12_0_0_12_0_0 <- 0_0_0_13_0_0 , 14864_1012_5_13_0_0 , 12_0_0_13_0_4672
2330_1015_5_55_2_5867 <- 2330_1015_5_55_2_0
2330_1015_5_56_2_5856 <- 2330_1015_5_56_2_0
2330_1015_5_57_2_5845 <- 2330_1015_5_57_2_0
2116_1005_5_46_0_0 <- 2116_1006_3_46_0_0
4000_1015_0_86_0_0 <- 6580_1007_5_86_0_0
55_0_0_49_0_4867 <- 24804_1017_0_49_0_0 , 16546_1012_0_49_0_0 , 3988_1016_0_49_0_0 , 18052_1007_0_49_0_0 , 3655_1017_0_49_0_0 , 32958_1010_0_49_0_0 , 16734_1012_0_49_0_5906 , 3371_1019_0_49_0_0 , 32435_1002_0_49_0_0 , 32383_1003_0_49_0_0 , 32435_998_0_49_0_0 , 3797_1016_0_49_0_0 , 16434_1012_0_49_0_0 , 18110_1007_0_49_0_5907 , 3513_1018_0_49_0_0 , 16676_1012_0_49_0_0
32443_998_0_24_0_0 <- 21181_1002_0_24_0_0
1078_1014_0_46_2_5744 <- 1078_1014_0_46_2_0
9521_1011_0_35_0_51 <- 9521_1011_0_35_0_0
102_0_0_7_0_0 <- 102_0_0_90_0_4690 , 0_0_0_90_0_0 , 3192_1011_5_90_0_0
3507_1011_5_68_0_0 <- 2779_1018_5_68_2_0
3507_1011_5_69_0_0 <- 2779_1018_5_69_2_0
3507_1011_5_70_0_0 <- 2779_1018_5_70_2_0
2528_1014_0_30_0_6078 <- 2528_1014_0_30_0_0
32443_998_0_36_0_0 <- 21181_1002_0_36_0_0
4056_1015_0_87_0_5666 <- 4056_1015_0_87_0_0
2528_1014_0_31_0_6067 <- 2528_1014_0_31_0_0
2528_1014_0_32_0_6056 <- 2528_1014_0_32_0_0
9521_1011_0_48_0_51 <- 9521_1011_0_48_0_0
5060_1012_0_65_2_0 <- 4498_1016_0_65_0_0
4056_1015_5_87_0_0 <- 4056_1015_0_87_0_0
16918_1011_0_63_0_0 <- 13607_1018_5_63_2_0
2330_1015_5_89_2_5650 <- 2330_1015_5_89_2_0
2330_1015_5_90_2_5639 <- 2330_1015_5_90_2_0
2330_1015_5_91_2_5628 <- 2330_1015_5_91_2_0
2528_1014_0_42_0_5977 <- 2528_1014_0_42_0_0
2528_1014_0_43_0_5966 <- 2528_1014_0_43_0_0
32443_998_0_49_0_0 <- 21181_1002_0_49_0_0
2528_1014_0_44_0_5955 <- 2528_1014_0_44_0_0
8252_1016_0_74_0_0 <- 8198_1016_0_74_0_0
2528_1014_0_55_0_5866 <- 2528_1014_0_55_0_0
3376_1011_0_67_0_0 <- 3428_1012_0_67_0_0
2528_1014_0_56_0_5855 <- 2528_1014_0_56_0_0
2528_1014_0_57_0_5844 <- 2528_1014_0_57_0_0
99_0_0_87_0_4699 <- 1359_1019_0_87_0_0 , 1283_1019_0_87_0_0 , 1500_1019_0_87_0_5665 , 3562_1017_0_87_0_0 , 4056_1015_0_87_0_5666 , 1496_1019_0_87_0_0 , 4056_1015_5_87_0_5667 , 4283_1010_0_87_0_0
2116_1005_0_46_0_0 <- 2116_1006_5_46_0_0
103_0_0_7_0_0 <- 3192_1011_5_91_0_0 , 103_0_0_91_0_4687 , 0_0_0_91_0_0
4401_1008_0_7_2_24 <- 28_0_0_7_0_0 , 38_0_0_7_0_0 , 26_0_0_7_0_0 , 36_0_0_7_0_0 , 24_0_0_7_0_0 , 34_0_0_7_0_0 , 32_0_0_7_0_0 , 37_0_0_7_0_0 , 10_0_0_7_0_0 , 30_0_0_7_0_0 , 35_0_0_7_0_0
48_0_0_42_0_4976 <- 2702_1017_0_42_2_5972 , 3132_1010_0_42_0_0 , 3507_1010_0_42_0_5973 , 3507_1010_5_42_0_5974 , 3140_1010_0_42_0_5976 , 3184_1011_0_42_0_0 , 0_0_0_42_0_5971 , 2528_1014_0_42_0_5977
12907_1008_0_61_0_5811 <- 12907_1008_0_61_0_0
23_0_0_12_0_0 <- 2461_1012_0_23_0_0 , 0_0_0_23_0_0 , 23_0_0_23_0_4662
32443_998_0_83_0_0 <- 21181_1002_0_83_0_0
106_0_0_94_0_4659 <- 13426_1019_2_94_2_0 , 0_0_0_94_0_0
0_0_0_47_0_0 <- 242_1008_0_46_2_109
16734_1014_0_62_0_5800 <- 16734_1014_0_62_0_0
2528_1014_0_89_0_5649 <- 2528_1014_0_89_0_0
2528_1014_0_90_0_5638 <- 2528_1014_0_90_0_0
2528_1014_0_91_0_5627 <- 2528_1014_0_91_0_0
2116_1005_1_46_0_0 <- 2116_1006_6_46_0_0
40_0_0_7_0_0 <- 40_0_0_34_0_4752 , 403_1015_0_34_2_0 , 0_0_0_34_0_0
76_0_0_66_0_4908 <- 4056_1016_0_66_0_5782 , 4283_1011_0_66_0_0 , 2721_1020_0_66_0_0 , 3639_1018_0_66_0_0 , 2645_1020_0_66_0_0 , 2725_1020_0_66_0_5781
38_0_0_33_0_4755 <- 949_1019_0_33_0_6045 , 2457_1010_0_33_0_0 , 1978_1017_0_33_0_0 , 2311_1012_5_33_0_6046 , 802_1019_0_33_0_6044
104_0_0_7_0_0 <- 0_0_0_92_0_0 , 104_0_0_92_0_4684 , 2259_1012_0_92_0_0
4056_1015_5_28_0_6096 <- 4056_1015_5_28_0_0
26_0_0_25_0_4789 <- 8858_1015_0_25_0_0 , 8252_1015_0_25_0_0 , 9832_1010_0_25_0_6113 , 16378_1005_0_25_0_0 , 8916_1015_0_25_0_6111 , 16918_1010_0_25_0_0 , 8746_1015_0_25_0_0 , 13526_1017_0_25_0_0 , 16386_1005_0_25_0_6112 , 8140_1015_0_25_0_0 , 9774_1010_0_25_0_0 , 9572_1010_5_25_0_6114
4056_1015_5_40_0_5995 <- 4056_1015_5_40_0_0
46_0_0_34_0_0 <- 0_0_0_40_0_0 , 4004_1015_0_40_0_0 , 46_0_0_40_0_4982
120_0_0_3_0_0 <- 120_0_0_108_0_4677 , 3743_1011_3_108_0_0 , 0_0_0_108_0_0
9_0_0_7_0_0 <- 9_0_0_10_0_4754 , 0_0_0_10_0_0 , 364_1010_0_10_0_0
4056_1015_5_53_0_5884 <- 4056_1015_5_53_0_0
1978_1017_0_33_0_0 <- 0_0_0_33_0_0
16386_1006_0_63_0_0 <- 9572_1010_0_63_0_0
1978_1017_0_45_0_0 <- 0_0_0_45_0_0
6580_1007_0_65_0_5787 <- 6580_1007_0_65_0_0
1978_1017_0_58_0_0 <- 0_0_0_58_0_0
2974_1018_5_67_2_5775 <- 2974_1018_5_67_2_0
802_1019_0_33_0_6044 <- 802_1019_0_33_0_0
4056_1015_5_87_0_5667 <- 4056_1015_5_87_0_0
5060_1011_5_27_2_6100 <- 5060_1011_5_27_2_0
13607_1018_5_63_2_0 <- 0_0_0_63_0_0
802_1019_0_45_0_5943 <- 802_1019_0_45_0_0
5060_1011_5_39_2_5999 <- 5060_1011_5_39_2_0
13607_1018_6_74_2_0 <- 0_0_0_74_0_0
802_1019_0_58_0_5832 <- 802_1019_0_58_0_0
82_0_0_71_0_4893 <- 2461_1011_5_71_0_5748 , 2457_1011_0_71_0_0 , 2311_1013_0_71_0_5749 , 2055_1018_0_71_0_0
1978_1017_0_92_0_0 <- 0_0_0_92_0_0
58_0_0_52_0_4845 <- 5056_1011_0_52_0_0 , 5056_1012_0_52_0_0 , 4054_1015_0_52_0_0 , 6572_1007_0_52_0_0 , 6580_1006_5_52_0_5889 , 3781_1010_0_52_0_0 , 6045_1017_0_52_0_0 , 5060_1011_5_52_2_5888 , 6904_1010_0_52_0_0 , 3996_1015_0_52_0_0 , 4494_1015_0_52_0_0
5060_1011_5_52_2_5888 <- 5060_1011_5_52_2_0
21_0_0_12_0_0 <- 3507_1012_0_21_0_0 , 21_0_0_21_0_4664 , 0_0_0_21_0_0
854_1008_0_46_2_0 <- 2116_1005_5_46_0_0
46_0_0_40_0_4982 <- 1359_1019_0_40_0_0 , 1283_1019_0_40_0_0 , 1500_1019_0_40_0_5993 , 3562_1017_0_40_0_0 , 4056_1015_0_40_0_5994 , 1496_1019_0_40_0_0 , 4056_1015_5_40_0_5995 , 4283_1010_0_40_0_0
116_0_0_3_0_0 <- 16922_1011_4_104_0_0 , 0_0_0_104_0_0 , 116_0_0_104_0_4681
8906_1013_0_72_0_0 <- 8776_1013_0_72_0_0 , 8764_1014_0_72_0_180
84_0_0_72_0_4966 <- 13179_1018_5_72_2_0 , 8906_1013_0_72_0_0 , 2188_1019_0_72_0_0 , 14864_1011_3_72_0_0 , 0_0_0_72_0_0
50_0_0_34_0_0 <- 3192_1011_5_44_0_0 , 50_0_0_44_0_4970 , 0_0_0_44_0_0
8764_1014_0_72_0_180 <- 8764_1014_0_72_0_0
304_1018_0_46_0_0 <- 2116_1008_0_46_0_0
802_1019_0_92_0_5615 <- 802_1019_0_92_0_0
13929_1004_0_61_0_5810 <- 13929_1004_0_61_0_0
5060_1011_5_86_2_5671 <- 5060_1011_5_86_2_0
3192_1011_0_30_0_0 <- 2330_1015_0_30_2_0
25420_1018_0_62_2_0 <- 0_0_0_62_0_0
3192_1011_0_31_0_0 <- 2330_1015_0_31_2_0
3033_1019_0_60_2_0 <- 0_0_0_60_0_0
3192_1011_0_32_0_0 <- 2330_1015_0_32_2_0
9572_1010_5_25_0_6114 <- 9572_1010_5_25_0_0
8_0_0_8_0_4742 <- 3308_1019_0_8_0_5699 , 0_0_0_8_0_5694 , 11949_1004_0_8_0_0 , 14481_1002_0_8_0_0 , 14864_1010_0_8_0_5696 , 12621_1006_0_8_0_0 , 14864_1010_5_8_0_5697 , 14481_1003_0_8_0_0 , 12861_1005_0_8_0_0 , 12621_1007_0_8_0_0 , 3221_1019_0_8_0_5698 , 14429_1000_0_8_0_0 , 13102_1017_0_8_2_5695 , 13921_1001_0_8_0_0
3192_1011_0_42_0_0 <- 2330_1015_0_42_2_0
3192_1011_0_43_0_0 <- 2330_1015_0_43_2_0
3192_1011_0_44_0_0 <- 2330_1015_0_44_2_0
9572_1010_5_37_0_6013 <- 9572_1010_5_37_0_0
25420_1018_5_73_2_0 <- 0_0_0_73_0_0
40_0_0_34_0_4752 <- 265_1015_0_34_0_0 , 724_1010_0_34_0_5942 , 447_1017_0_34_2_5941 , 274_1015_0_34_2_6037 , 0_0_0_34_0_5940
11914_1008_0_61_2_0 <- 10898_1015_0_61_0_0
16386_1006_5_25_0_0 <- 9572_1010_5_25_0_0
3192_1011_0_55_0_0 <- 2330_1015_0_55_2_0
3192_1011_0_56_0_0 <- 2330_1015_0_56_2_0
109_0_0_5_0_0 <- 0_0_0_97_0_0 , 109_0_0_97_0_4656 , 4287_1012_0_97_0_0
3192_1011_0_57_0_0 <- 2330_1015_0_57_2_0
9572_1010_5_50_0_5902 <- 9572_1010_5_50_0_0
13929_1004_5_61_0_0 <- 11290_1013_0_61_0_0
109_0_0_97_0_4656 <- 0_0_0_97_0_0 , 3462_1019_0_97_2_0
80_0_0_46_0_0 <- 0_0_0_69_0_0 , 80_0_0_69_0_4899 , 2528_1015_0_69_0_0
16386_1006_5_37_0_0 <- 9572_1010_5_37_0_0
14481_1005_0_61_0_0 <- 12667_1009_0_61_2_0 , 12667_1009_5_61_2_0
80_0_0_69_0_4899 <- 0_0_0_69_0_5760 , 3507_1011_5_69_0_5762 , 2779_1018_5_69_2_5761 , 3140_1011_0_69_0_5763 , 3184_1012_0_69_0_0 , 3132_1011_0_69_0_0
949_1019_0_33_0_6045 <- 949_1019_0_33_0_0
14489_1002_0_8_0_0 <- 12667_1006_0_8_2_0
51_0_0_34_0_0 <- 0_0_0_45_0_0 , 51_0_0_45_0_4967 , 2259_1012_0_45_0_0
8804_1016_0_63_0_0 <- 16922_1011_1_63_0_0
14489_1002_0_11_0_0 <- 12667_1006_0_11_2_0
16386_1006_5_50_0_0 <- 9572_1010_5_50_0_0
107_0_0_5_0_0 <- 107_0_0_95_0_4658 , 0_0_0_95_0_0 , 8475_1012_5_95_0_0
22_0_0_22_0_4663 <- 0_0_0_22_0_0 , 2598_1019_0_22_2_0
949_1019_0_45_0_5944 <- 949_1019_0_45_0_0
3192_1011_0_89_0_0 <- 2330_1015_0_89_2_0
3192_1011_0_90_0_0 <- 2330_1015_0_90_2_0
4017_1008_0_7_2_14 <- 98_0_0_7_0_0 , 103_0_0_7_0_0 , 96_0_0_7_0_0 , 101_0_0_7_0_0 , 99_0_0_7_0_0 , 104_0_0_7_0_0 , 8_0_0_7_0_0 , 97_0_0_7_0_0 , 102_0_0_7_0_0 , 95_0_0_7_0_0 , 100_0_0_7_0_0
3192_1011_0_91_0_0 <- 2330_1015_0_91_2_0
9572_1010_5_84_0_5685 <- 9572_1010_5_84_0_0
6904_1011_0_65_0_0 <- 6126_1018_1_65_2_0
874_1014_0_46_2_5818 <- 874_1014_0_46_2_0
874_1014_0_46_2_5819 <- 874_1014_0_46_2_0
949_1019_0_58_0_5833 <- 949_1019_0_58_0_0
14489_1002_0_35_0_0 <- 12667_1006_0_35_2_0
1920_1018_0_112_2_0 <- 0_0_0_112_0_0
16386_1006_5_84_0_0 <- 9572_1010_5_84_0_0
14489_1002_0_48_0_0 <- 12667_1006_0_48_2_0
650_1008_0_46_2_0 <- 2116_1006_1_46_0_0
113_0_0_5_0_0 <- 3507_1012_0_101_0_0 , 113_0_0_101_0_4652 , 0_0_0_101_0_0
1658_1014_0_46_0_0 <- 874_1014_0_46_2_5818 , 475_1014_0_46_2_5926 , 1078_1014_0_46_2_5744
97_0_0_85_0_4715 <- 1407_1019_0_85_0_5676 , 7165_1017_0_85_0_0 , 8242_1012_5_85_0_5678 , 8471_1010_0_85_0_0 , 1554_1019_0_85_0_5677
949_1019_0_33_0_0 <- 2484_1010_0_33_0_78 , 2311_1012_0_33_0_0
949_1019_0_92_0_5616 <- 949_1019_0_92_0_0
9572_1010_0_63_0_0 <- 8916_1016_0_63_0_0
107_0_0_95_0_4658 <- 7065_1019_5_95_2_0 , 0_0_0_95_0_0
949_1019_0_45_0_0 <- 2484_1010_0_45_0_78 , 2311_1012_0_45_0_0
120_0_0_108_0_4677 <- 2835_1018_0_108_2_0 , 3743_1011_1_108_0_0 , 0_0_0_108_0_0
8746_1016_0_63_0_0 <- 16922_1011_1_63_0_0
949_1019_0_58_0_0 <- 2484_1010_0_58_0_78 , 2311_1012_0_58_0_0
81_0_0_70_0_4896 <- 3132_1011_0_70_0_0 , 0_0_0_70_0_5753 , 3507_1011_5_70_0_5755 , 2779_1018_5_70_2_5754 , 3140_1011_0_70_0_5756 , 3184_1012_0_70_0_0
115_0_0_103_0_4682 <- 24746_1018_0_103_2_0 , 0_0_0_103_0_0 , 32962_1011_2_103_0_0
45_0_0_34_0_0 <- 45_0_0_39_0_4988 , 4058_1015_0_39_0_0 , 0_0_0_39_0_0
1496_1019_0_28_0_0 <- 1363_1019_0_28_0_0
13929_1004_5_61_0_5813 <- 13929_1004_5_61_0_0
3192_1011_5_30_0_0 <- 2330_1015_5_30_2_0
3192_1011_5_31_0_0 <- 2330_1015_5_31_2_0
0_0_0_35_0_0 <- 254_1009_0_34_2_82
0_0_0_36_0_0 <- 254_1009_0_34_2_87
0_0_0_37_0_0 <- 254_1009_0_34_2_89
949_1019_0_92_0_0 <- 2484_1010_0_92_0_78 , 2311_1012_0_92_0_0
0_0_0_38_0_0 <- 254_1009_0_34_2_91
0_0_0_39_0_0 <- 254_1009_0_34_2_93
0_0_0_40_0_0 <- 254_1009_0_34_2_95
0_0_0_41_0_0 <- 254_1009_0_34_2_97
0_0_0_42_0_0 <- 254_1009_0_34_2_99
3192_1011_5_32_0_0 <- 2330_1015_5_32_2_0
0_0_0_43_0_0 <- 254_1009_0_34_2_101
0_0_0_44_0_0 <- 254_1009_0_34_2_103
0_0_0_45_0_0 <- 254_1009_0_34_2_105
1496_1019_0_40_0_0 <- 1363_1019_0_40_0_0
3192_1011_5_42_0_0 <- 2330_1015_5_42_2_0
3192_1011_5_43_0_0 <- 2330_1015_5_43_2_0
3192_1011_5_44_0_0 <- 2330_1015_5_44_2_0
1496_1019_0_53_0_0 <- 1363_1019_0_53_0_0
14_0_0_12_0_0 <- 14_0_0_14_0_4671 , 0_0_0_14_0_0 , 32962_1012_8_14_0_0
3192_1011_5_55_0_0 <- 2330_1015_5_55_2_0
114_0_0_5_0_0 <- 0_0_0_102_0_0 , 114_0_0_102_0_4651 , 2461_1012_0_102_0_0
3192_1011_5_56_0_0 <- 2330_1015_5_56_2_0
3192_1011_5_57_0_0 <- 2330_1015_5_57_2_0
114_0_0_102_0_4651 <- 0_0_0_102_0_0 , 1878_1019_0_102_2_0
85_0_0_46_0_0 <- 0_0_0_73_0_0 , 15998_1014_0_73_0_0 , 85_0_0_73_0_4960
85_0_0_73_0_4960 <- 0_0_0_73_0_0 , 2954_1018_0_73_0_0 , 2670_1020_0_73_0_0 , 15828_1014_0_73_0_0 , 25420_1018_5_73_2_0 , 2812_1019_0_73_0_0 , 15940_1014_0_73_0_0
6580_1006_5_27_0_0 <- 5060_1011_5_27_2_0
1117_1018_0_46_0_4751 <- 1662_1014_5_46_2_0 , 916_1018_0_46_0_5710 , 874_1014_0_46_2_5819
108_0_0_5_0_0 <- 6908_1012_0_96_0_0 , 108_0_0_96_0_4657 , 0_0_0_96_0_0
2330_1015_5_30_2_0 <- 2528_1014_0_30_0_0
2330_1015_5_31_2_0 <- 2528_1014_0_31_0_0
35_0_0_30_0_4764 <- 2528_1014_0_30_0_6078 , 2702_1017_0_30_2_6073 , 3132_1010_0_30_0_0 , 3507_1010_0_30_0_6074 , 3507_1010_5_30_0_6075 , 3140_1010_0_30_0_6077 , 3184_1011_0_30_0_0 , 0_0_0_30_0_6072
2330_1015_5_32_2_0 <- 2528_1014_0_32_0_0
14489_1002_5_8_0_0 <- 12667_1006_5_8_2_0
56_0_0_46_0_0 <- 0_0_0_50_0_0 , 56_0_0_50_0_4858 , 8310_1015_0_50_0_0
6580_1006_5_39_0_0 <- 5060_1011_5_39_2_0
14489_1002_5_11_0_0 <- 12667_1006_5_11_2_0
2725_1020_0_66_0_0 <- 2649_1020_0_66_2_0
24704_1019_8_14_2_0 <- 0_0_0_14_0_0
3643_1018_5_66_2_0 <- 0_0_0_66_0_0
1496_1019_0_87_0_0 <- 1363_1019_0_87_0_0
2330_1015_5_42_2_0 <- 2528_1014_0_42_0_0
2330_1015_5_43_2_0 <- 2528_1014_0_43_0_0
2330_1015_5_44_2_0 <- 2528_1014_0_44_0_0
3643_1018_0_77_2_0 <- 0_0_0_77_0_0
12667_1006_5_8_2_0 <- 14489_1002_0_8_0_0
3192_1011_5_89_0_0 <- 2330_1015_5_89_2_0
12667_1006_5_11_2_0 <- 14489_1002_0_11_0_0
6580_1006_5_52_0_0 <- 5060_1011_5_52_2_0
6528_1006_0_27_0_0 <- 6580_1006_5_27_0_0
3192_1011_5_90_0_0 <- 2330_1015_5_90_2_0
3192_1011_5_91_0_0 <- 2330_1015_5_91_2_0
2330_1015_5_55_2_0 <- 2528_1014_0_55_0_0
11906_1005_0_8_0_0 <- 9331_1013_0_8_0_0
2330_1015_5_56_2_0 <- 2528_1014_0_56_0_0
2330_1015_5_57_2_0 <- 2528_1014_0_57_0_0
11906_1005_0_11_0_0 <- 9331_1013_0_11_0_0
14489_1002_5_35_0_0 <- 12667_1006_5_35_2_0
6528_1006_0_39_0_0 <- 6580_1006_5_39_0_0
9709_1011_0_8_0_0 <- 14489_1003_0_8_0_0 , 9521_1011_0_8_0_51
9709_1011_0_11_0_0 <- 14489_1003_0_11_0_0 , 9521_1011_0_11_0_51
12667_1006_5_35_2_0 <- 14489_1002_0_35_0_0
14489_1002_5_48_0_0 <- 12667_1006_5_48_2_0
6528_1006_0_52_0_0 <- 6580_1006_5_52_0_0
6580_1006_5_86_0_0 <- 5060_1011_5_86_2_0
11906_1005_0_35_0_0 <- 9331_1013_0_35_0_0
12667_1006_5_48_2_0 <- 14489_1002_0_48_0_0
9709_1011_0_35_0_0 <- 14489_1003_0_35_0_0 , 9521_1011_0_35_0_51
2330_1015_5_89_2_0 <- 2528_1014_0_89_0_0
2330_1015_5_90_2_0 <- 2528_1014_0_90_0_0
2330_1015_5_91_2_0 <- 2528_1014_0_91_0_0
63_0_0_46_0_0 <- 63_0_0_57_0_4827 , 0_0_0_57_0_0 , 3192_1011_5_57_0_0
2108_1004_0_46_0_0 <- 2116_1005_0_46_0_0
11906_1005_0_48_0_0 <- 9331_1013_0_48_0_0
13530_1017_0_25_2_0 <- 0_0_0_25_0_0
2870_1019_0_73_0_0 <- 2728_1020_0_73_2_0
9709_1011_0_48_0_0 <- 14489_1003_0_48_0_0 , 9521_1011_0_48_0_51
44_0_0_38_0_4998 <- 1407_1019_0_38_0_6004 , 7165_1017_0_38_0_0 , 8242_1012_5_38_0_6006 , 8471_1010_0_38_0_0 , 1554_1019_0_38_0_6005
8_0_0_7_0_0 <- 10388_1010_0_8_0_0 , 0_0_0_8_0_0 , 8_0_0_8_0_4742
6528_1006_0_86_0_0 <- 6580_1006_5_86_0_0
8916_1016_0_63_0_0 <- 8804_1016_0_63_0_0
63_0_0_57_0_4827 <- 2702_1017_0_57_2_5839 , 3132_1010_0_57_0_0 , 3507_1010_0_57_0_5840 , 3507_1010_5_57_0_5841 , 3140_1010_0_57_0_5843 , 3184_1011_0_57_0_0 , 0_0_0_57_0_5838 , 2528_1014_0_57_0_5844
13530_1017_0_37_2_0 <- 0_0_0_37_0_0
67_0_0_61_0_4942 <- 5047_1020_0_61_0_5807 , 11949_1007_0_61_0_0 , 14481_1005_0_61_0_0 , 12621_1009_0_61_0_0 , 0_0_0_61_0_5804 , 12861_1008_0_61_0_0 , 5134_1020_0_61_0_5808 , 13179_1018_0_61_2_5805 , 14429_1003_0_61_0_0 , 13921_1004_0_61_0_0 , 14864_1011_5_61_0_5806
24704_1019_8_93_2_0 <- 0_0_0_93_0_0
13530_1017_0_50_2_0 <- 0_0_0_50_0_0
16227_1006_0_25_0_0 <- 16386_1005_0_25_0_0
32_0_0_7_0_0 <- 32_0_0_28_0_4770 , 0_0_0_28_0_0 , 4004_1015_0_28_0_0
2461_1010_5_33_0_0 <- 2461_1010_0_33_0_0
16227_1006_0_37_0_0 <- 16386_1005_0_37_0_0
2116_1006_0_46_0_0 <- 119_1018_0_46_0_0
2461_1010_5_45_0_0 <- 2461_1010_0_45_0_0
16227_1006_0_50_0_0 <- 16386_1005_0_50_0_0
13530_1017_0_84_2_0 <- 0_0_0_84_0_0
2461_1010_5_58_0_0 <- 2461_1010_0_58_0_0
2812_1019_0_73_0_0 <- 2728_1020_0_73_2_0
119_0_0_3_0_0 <- 0_0_0_107_0_0 , 119_0_0_107_0_4678 , 4287_1011_3_107_0_0
112_0_0_5_0_0 <- 112_0_0_100_0_4653 , 0_0_0_100_0_0 , 3507_1012_0_100_0_0
119_0_0_107_0_4678 <- 0_0_0_107_0_0 , 3504_1018_0_107_2_0 , 4287_1011_1_107_0_0
68_0_0_62_0_4930 <- 11659_1019_0_62_0_0 , 16546_1014_0_62_0_0 , 32958_1011_0_62_0_0 , 18052_1009_0_62_0_0 , 25416_1018_0_62_0_0 , 16734_1014_0_62_0_5800 , 11801_1018_0_62_0_0 , 32383_1005_0_62_0_0 , 32435_1000_0_62_0_0 , 16434_1014_0_62_0_0 , 11517_1020_0_62_0_0 , 16676_1014_0_62_0_0
90_0_0_46_0_0 <- 0_0_0_78_0_0 , 90_0_0_78_0_4953 , 3743_1011_0_78_0_0
8858_1016_0_63_0_0 <- 8804_1016_0_63_0_0
90_0_0_78_0_4953 <- 0_0_0_78_0_0 , 2974_1018_0_78_2_0
0_0_0_72_0_0 <- 1058_1008_0_46_2_175
0_0_0_73_0_0 <- 1058_1008_0_46_2_181
0_0_0_74_0_0 <- 1058_1008_0_46_2_183
0_0_0_75_0_0 <- 1058_1008_0_46_2_185
0_0_0_76_0_0 <- 1058_1008_0_46_2_187
0_0_0_77_0_0 <- 1058_1008_0_46_2_189
0_0_0_78_0_0 <- 1058_1008_0_46_2_191
0_0_0_79_0_0 <- 1058_1008_0_46_2_193
0_0_0_80_0_0 <- 1058_1008_0_46_2_195
0_0_0_81_0_0 <- 1058_1008_0_46_2_197
0_0_0_82_0_0 <- 1058_1008_0_46_2_199
16227_1006_0_84_0_0 <- 16386_1005_0_84_0_0
61_0_0_46_0_0 <- 0_0_0_55_0_0 , 3192_1011_5_55_0_0 , 61_0_0_55_0_4833
2461_1010_5_92_0_0 <- 2461_1010_0_92_0_0
3368_1010_0_29_0_0 <- 3428_1011_0_29_0_0
32383_1005_0_62_0_0 <- 32443_1000_0_62_0_0
3_0_0_3_0_0 <- 0_0_0_4_0_0 , 3_0_0_4_0_4683 , 14864_1011_6_4_0_0
3_0_0_4_0_4683 <- 0_0_0_4_0_0 , 14864_1011_0_4_0_0 , 13040_1018_0_4_2_0
3221_1019_0_8_0_0 <- 14864_1010_5_8_0_0
96_0_0_7_0_0 <- 8310_1015_0_84_0_0 , 96_0_0_84_0_4718 , 0_0_0_84_0_0
3368_1010_0_41_0_0 <- 3428_1011_0_41_0_0
81_0_0_46_0_0 <- 81_0_0_70_0_4896 , 0_0_0_70_0_0 , 2528_1015_0_70_0_0
3221_1019_0_11_0_0 <- 14864_1010_5_11_0_0
3368_1010_0_54_0_0 <- 3428_1011_0_54_0_0
3221_1019_0_35_0_0 <- 14864_1010_5_35_0_0
2835_1018_0_108_2_0 <- 0_0_0_108_0_0
86_0_0_74_0_4957 <- 13607_1018_6_74_2_0 , 8140_1016_0_74_0_0 , 0_0_0_74_0_0 , 8252_1016_0_74_0_0
14864_1011_6_4_0_0 <- 14864_1011_0_4_0_0
3221_1019_0_48_0_0 <- 14864_1010_5_48_0_0
87_0_0_75_0_4956 <- 7246_1018_0_75_2_0 , 0_0_0_75_0_0
3368_1010_0_88_0_0 <- 3428_1011_0_88_0_0
38_0_0_7_0_0 <- 2259_1012_0_33_0_0 , 0_0_0_33_0_0 , 38_0_0_33_0_4755
32_0_0_28_0_4770 <- 1359_1019_0_28_0_0 , 1283_1019_0_28_0_0 , 1500_1019_0_28_0_6094 , 3562_1017_0_28_0_0 , 4056_1015_0_28_0_6095 , 1496_1019_0_28_0_0 , 4056_1015_5_28_0_6096 , 4283_1010_0_28_0_0
8242_1013_0_64_0_5792 <- 8242_1013_0_64_0_0
100_0_0_7_0_0 <- 3428_1011_5_88_0_0 , 0_0_0_88_0_0 , 100_0_0_88_0_4696
19_0_0_12_0_0 <- 19_0_0_19_0_4666 , 3743_1012_0_19_0_0 , 0_0_0_19_0_0
4161_1008_0_7_2_19 <- 52_0_0_7_0_0 , 40_0_0_7_0_0 , 9_0_0_7_0_0
2598_1019_0_20_2_0 <- 0_0_0_20_0_0
2598_1019_0_21_2_0 <- 0_0_0_21_0_0
2598_1019_0_22_2_0 <- 0_0_0_22_0_0
121_0_0_109_0_4676 <- 2640_1018_0_109_2_0 , 3507_1011_1_109_0_0 , 0_0_0_109_0_0
16378_1005_0_25_0_0 <- 9572_1009_0_25_0_0
2259_1013_0_71_0_0 <- 2311_1013_0_71_0_0
3996_1015_0_27_0_0 <- 6580_1007_5_27_0_0
16378_1005_0_37_0_0 <- 9572_1009_0_37_0_0
67_0_0_46_0_0 <- 11638_1013_0_61_0_0 , 0_0_0_61_0_0 , 67_0_0_61_0_4942
103_0_0_91_0_4687 <- 2528_1014_0_91_0_5627 , 2702_1017_0_91_2_5622 , 3132_1010_0_91_0_0 , 3507_1010_0_91_0_5623 , 3507_1010_5_91_0_5624 , 3140_1010_0_91_0_5626 , 3184_1011_0_91_0_0 , 0_0_0_91_0_5621
124_0_0_3_0_0 <- 0_0_0_112_0_0 , 124_0_0_112_0_4673 , 2461_1011_3_112_0_0
3996_1015_0_39_0_0 <- 6580_1007_5_39_0_0
124_0_0_112_0_4673 <- 0_0_0_112_0_0 , 1920_1018_0_112_2_0 , 2461_1011_1_112_0_0
16378_1005_0_50_0_0 <- 9572_1009_0_50_0_0
8475_1011_0_75_0_0 <- 7246_1018_0_75_2_0
3996_1015_0_52_0_0 <- 6580_1007_5_52_0_0
66_0_0_46_0_0 <- 0_0_0_60_0_0 , 3033_1019_0_60_2_0 , 3029_1019_0_60_0_0
37_0_0_7_0_0 <- 0_0_0_32_0_0 , 37_0_0_32_0_4758 , 3192_1011_5_32_0_0
72_0_0_64_0_4919 <- 8242_1013_0_64_0_5792 , 8475_1011_3_64_0_5791 , 7242_1018_0_64_0_0 , 8471_1011_0_64_0_0
3428_1012_0_67_0_0 <- 2525_1016_0_67_2_0
11717_1019_0_62_0_0 <- 11575_1020_0_62_2_0
8475_1011_3_64_0_0 <- 7246_1018_1_64_2_0
16378_1005_0_84_0_0 <- 9572_1009_0_84_0_0
3566_1017_0_28_2_0 <- 0_0_0_28_0_0
3140_1011_0_68_0_5770 <- 3140_1011_0_68_0_0
3140_1011_0_69_0_5763 <- 3140_1011_0_69_0_0
3140_1011_0_70_0_5756 <- 3140_1011_0_70_0_0
106_0_0_5_0_0 <- 16922_1012_2_94_0_0 , 0_0_0_94_0_0 , 106_0_0_94_0_4659
3996_1015_0_86_0_0 <- 6580_1007_5_86_0_0
110_0_0_98_0_4655 <- 2793_1019_0_98_2_0 , 0_0_0_98_0_0
68_0_0_46_0_0 <- 68_0_0_62_0_4930 , 0_0_0_62_0_0 , 18110_1009_0_62_0_0
3566_1017_0_40_2_0 <- 0_0_0_40_0_0
1058_1008_0_46_2_0 <- 2116_1005_1_46_0_0
2598_1019_0_99_2_0 <- 0_0_0_99_0_0
43_0_0_34_0_0 <- 8310_1015_0_37_0_0 , 0_0_0_37_0_0 , 43_0_0_37_0_5001
2598_1019_0_100_2_0 <- 0_0_0_100_0_0
2598_1019_0_101_2_0 <- 0_0_0_101_0_0
98_0_0_7_0_0 <- 4058_1015_0_86_0_0 , 98_0_0_86_0_4705 , 0_0_0_86_0_0
3566_1017_0_53_2_0 <- 0_0_0_53_0_0
5056_1012_0_65_0_0 <- 4498_1016_0_65_0_0
6126_1018_1_65_2_0 <- 0_0_0_65_0_0
6126_1018_0_76_2_0 <- 0_0_0_76_0_0
13929_1001_5_8_0_0 <- 10040_1010_0_8_0_0
12621_1007_0_8_0_0 <- 9562_1011_0_8_0_0
13929_1001_5_11_0_0 <- 10040_1010_0_11_0_0
11659_1019_0_62_0_0 <- 11575_1020_0_62_2_0
3566_1017_0_87_2_0 <- 0_0_0_87_0_0
12621_1007_0_11_0_0 <- 9562_1011_0_11_0_0
455_1008_0_46_2_111 <- 455_1008_0_46_2_0
455_1008_0_46_2_112 <- 455_1008_0_46_2_0
455_1008_0_46_2_116 <- 455_1008_0_46_2_112
455_1008_0_46_2_117 <- 455_1008_0_46_2_112
455_1008_0_46_2_114 <- 455_1008_0_46_2_113
455_1008_0_46_2_115 <- 455_1008_0_46_2_113 , 455_1008_0_46_2_114
455_1008_0_46_2_118 <- 455_1008_0_46_2_117
455_1008_0_46_2_119 <- 455_1008_0_46_2_117
455_1008_0_46_2_120 <- 455_1008_0_46_2_119
455_1008_0_46_2_121 <- 455_1008_0_46_2_119
455_1008_0_46_2_122 <- 455_1008_0_46_2_121
455_1008_0_46_2_123 <- 455_1008_0_46_2_121
455_1008_0_46_2_124 <- 455_1008_0_46_2_123
455_1008_0_46_2_125 <- 455_1008_0_46_2_123
455_1008_0_46_2_126 <- 455_1008_0_46_2_125
455_1008_0_46_2_127 <- 455_1008_0_46_2_125
455_1008_0_46_2_128 <- 455_1008_0_46_2_127
455_1008_0_46_2_129 <- 455_1008_0_46_2_127
455_1008_0_46_2_130 <- 455_1008_0_46_2_129
455_1008_0_46_2_131 <- 455_1008_0_46_2_129
455_1008_0_46_2_132 <- 455_1008_0_46_2_131
455_1008_0_46_2_133 <- 455_1008_0_46_2_131
455_1008_0_46_2_134 <- 455_1008_0_46_2_133
455_1008_0_46_2_135 <- 455_1008_0_46_2_133
3785_1010_0_27_0_0 <- 6528_1006_0_27_0_0
3785_1010_0_39_0_0 <- 6528_1006_0_39_0_0
32962_1010_0_24_0_0 <- 24808_1017_0_24_2_0
13929_1001_5_35_0_0 <- 10040_1010_0_35_0_0
14864_1011_5_61_0_5806 <- 14864_1011_5_61_0_0
12621_1007_0_35_0_0 <- 9562_1011_0_35_0_0
12998_1019_5_6_2_0 <- 0_0_0_6_0_0
3785_1010_0_52_0_0 <- 6528_1006_0_52_0_0
32962_1010_0_36_0_0 <- 24808_1017_0_36_2_0
117_0_0_3_0_0 <- 117_0_0_105_0_4680 , 8475_1011_6_105_0_0 , 0_0_0_105_0_0
6_0_0_5_0_0 <- 6_0_0_6_0_4661 , 14864_1012_5_6_0_0 , 0_0_0_6_0_0
13929_1001_5_48_0_0 <- 10040_1010_0_48_0_0
12998_1019_5_13_2_0 <- 0_0_0_13_0_0
12621_1007_0_48_0_0 <- 9562_1011_0_48_0_0
15_0_0_15_0_4670 <- 13426_1019_2_15_2_0 , 0_0_0_15_0_0
47_0_0_34_0_0 <- 3428_1011_5_41_0_0 , 0_0_0_41_0_0 , 47_0_0_41_0_4979
3571_1018_0_24_0_0 <- 3429_1019_0_24_2_0
32962_1010_0_49_0_0 <- 24808_1017_0_49_2_0
3571_1018_0_36_0_0 <- 3429_1019_0_36_2_0
2461_1010_0_33_0_0 <- 1982_1017_0_33_2_0
59_0_0_46_0_0 <- 4004_1015_0_53_0_0 , 59_0_0_53_0_4839 , 0_0_0_53_0_0
14437_1003_0_61_0_0 <- 11914_1008_0_61_2_0
3571_1018_0_49_0_0 <- 3429_1019_0_49_2_0
8475_1010_5_26_0_0 <- 8475_1010_0_26_0_0
3785_1010_0_86_0_0 <- 6528_1006_0_86_0_0
2461_1010_0_45_0_0 <- 1982_1017_0_45_2_0
50_0_0_44_0_4970 <- 2528_1014_0_44_0_5955 , 2702_1017_0_44_2_5950 , 3132_1010_0_44_0_0 , 3507_1010_0_44_0_5951 , 3507_1010_5_44_0_5952 , 3140_1010_0_44_0_5954 , 3184_1011_0_44_0_0 , 0_0_0_44_0_5949
86_0_0_46_0_0 <- 86_0_0_74_0_4957 , 8310_1016_0_74_0_0 , 0_0_0_74_0_0
32435_1002_0_24_0_0 <- 21181_1006_0_24_0_0
8475_1010_5_38_0_0 <- 8475_1010_0_38_0_0
32962_1010_0_83_0_0 <- 24808_1017_0_83_2_0
18110_1007_0_24_0_6119 <- 18110_1007_0_24_0_0
2461_1010_0_58_0_0 <- 1982_1017_0_58_2_0
447_1017_0_34_2_5941 <- 447_1017_0_34_2_0
13_0_0_0_0_0 <- 0_0_0_12_0_0 , 3011_1013_0_12_2_29
32435_1002_0_36_0_0 <- 21181_1006_0_36_0_0
8475_1010_5_51_0_0 <- 8475_1010_0_51_0_0
2702_1017_0_30_2_6073 <- 2702_1017_0_30_2_0
2702_1017_0_31_2_6062 <- 2702_1017_0_31_2_0
18110_1007_0_36_0_6018 <- 18110_1007_0_36_0_0
2702_1017_0_32_2_6051 <- 2702_1017_0_32_2_0
11949_1004_0_8_0_0 <- 14437_1000_0_8_0_0
3571_1018_0_83_0_0 <- 3429_1019_0_83_2_0
11949_1004_0_11_0_0 <- 14437_1000_0_11_0_0
32435_1002_0_49_0_0 <- 21181_1006_0_49_0_0
2702_1017_0_42_2_5972 <- 2702_1017_0_42_2_0
2702_1017_0_43_2_5961 <- 2702_1017_0_43_2_0
2702_1017_0_44_2_5950 <- 2702_1017_0_44_2_0
18110_1007_0_49_0_5907 <- 18110_1007_0_49_0_0
3513_1018_0_24_0_0 <- 3429_1019_0_24_2_0
12667_1009_0_61_2_0 <- 10959_1014_0_61_0_0
2702_1017_0_55_2_5861 <- 2702_1017_0_55_2_0
7065_1019_5_16_2_0 <- 0_0_0_16_0_0
55_0_0_46_0_0 <- 55_0_0_49_0_4867 , 32443_1002_0_49_0_0 , 0_0_0_49_0_0
2702_1017_0_56_2_5850 <- 2702_1017_0_56_2_0
2461_1010_0_92_0_0 <- 1982_1017_0_92_2_0
2702_1017_0_57_2_5839 <- 2702_1017_0_57_2_0
3513_1018_0_36_0_0 <- 3429_1019_0_36_2_0
8475_1010_5_85_0_0 <- 8475_1010_0_85_0_0
13603_1018_0_63_0_0 <- 0_0_0_63_0_0
11949_1004_0_35_0_0 <- 14437_1000_0_35_0_0
4056_1016_0_66_0_5782 <- 4056_1016_0_66_0_0
3513_1018_0_49_0_0 <- 3429_1019_0_49_2_0
32435_1002_0_83_0_0 <- 21181_1006_0_83_0_0
18110_1007_0_83_0_5690 <- 18110_1007_0_83_0_0
11949_1004_0_48_0_0 <- 14437_1000_0_48_0_0
2702_1017_0_89_2_5644 <- 2702_1017_0_89_2_0
2702_1017_0_90_2_5633 <- 2702_1017_0_90_2_0
2702_1017_0_91_2_5622 <- 2702_1017_0_91_2_0
24_0_0_7_0_0 <- 24_0_0_24_0_4798 , 32443_1002_0_24_0_0 , 0_0_0_24_0_0
850_1008_0_46_0_0 <- 2116_1005_5_46_0_0
3513_1018_0_83_0_0 <- 3429_1019_0_83_2_0
254_1009_0_34_2_0 <- 724_1010_0_34_0_0
4_0_0_1_0_8 <- 3558_1012_0_3_2_7 , 0_0_0_3_0_4
78_0_0_67_0_4905 <- 3368_1011_0_67_0_0 , 3743_1011_5_67_0_5776 , 3376_1011_0_67_0_5777 , 3420_1012_0_67_0_0 , 0_0_0_67_0_5774 , 2974_1018_5_67_2_5775
13921_1001_0_8_0_0 <- 14489_1002_5_8_0_5700 , 10040_1010_0_8_0_5703
13921_1001_0_11_0_0 <- 14489_1002_5_11_0_6129 , 10040_1010_0_11_0_6132
5060_1012_0_65_2_5786 <- 5060_1012_0_65_2_0
25416_1018_0_62_0_0 <- 0_0_0_62_0_0
3029_1019_0_60_0_0 <- 0_0_0_60_0_0
7065_1019_5_95_2_0 <- 0_0_0_95_0_0
105_0_0_93_0_4660 <- 24704_1019_8_93_2_0 , 0_0_0_93_0_0
13921_1001_0_35_0_0 <- 14489_1002_5_35_0_6028 , 10040_1010_0_35_0_6031
105_0_0_5_0_0 <- 0_0_0_93_0_0 , 32962_1012_8_93_0_0 , 105_0_0_93_0_4660
13921_1001_0_48_0_0 <- 14489_1002_5_48_0_5917 , 10040_1010_0_48_0_5920
2649_1020_0_66_2_0 <- 4287_1011_5_66_0_0
3743_1010_0_29_0_6085 <- 3743_1010_0_29_0_0
18_0_0_18_0_4667 <- 0_0_0_18_0_0 , 3462_1019_0_18_2_0
3743_1010_5_29_0_0 <- 3743_1010_0_29_0_0
3743_1010_0_41_0_5984 <- 3743_1010_0_41_0_0
3743_1010_5_41_0_0 <- 3743_1010_0_41_0_0
12907_1005_0_8_0_0 <- 13929_1001_0_8_0_0
12907_1005_0_11_0_0 <- 13929_1001_0_11_0_0
3743_1010_0_54_0_5873 <- 3743_1010_0_54_0_0
3743_1010_5_54_0_0 <- 3743_1010_0_54_0_0
12621_1009_0_61_0_0 <- 14489_1005_0_61_0_0 , 10959_1014_0_61_0_0
646_1008_0_46_0_0 <- 2116_1006_1_46_0_0
9832_1010_0_25_0_6113 <- 9832_1010_0_25_0_0
12907_1005_0_35_0_0 <- 13929_1001_0_35_0_0
2116_1006_5_46_0_0 <- 314_1018_0_46_0_0
3743_1010_0_88_0_5656 <- 3743_1010_0_88_0_0
5134_1020_0_61_0_5808 <- 5134_1020_0_61_0_0
9832_1010_0_37_0_6012 <- 9832_1010_0_37_0_0
12907_1005_0_48_0_0 <- 13929_1001_0_48_0_0
3743_1010_5_88_0_0 <- 3743_1010_0_88_0_0
14489_1005_5_61_0_5809 <- 14489_1005_5_61_0_0
111_0_0_99_0_4654 <- 2598_1019_0_99_2_0 , 0_0_0_99_0_0
6049_1017_0_27_2_0 <- 0_0_0_27_0_0
9832_1010_0_50_0_5901 <- 9832_1010_0_50_0_0
122_0_0_3_0_0 <- 122_0_0_110_0_4675 , 0_0_0_110_0_0 , 3507_1011_3_110_0_0
16_0_0_16_0_4669 <- 7065_1019_5_16_2_0 , 0_0_0_16_0_0
6049_1017_0_39_2_0 <- 0_0_0_39_0_0
0_0_0_10_0_0 <- 4161_1008_0_7_2_17
0_0_0_34_0_0 <- 4161_1008_0_7_2_80
0_0_0_46_0_0 <- 4161_1008_0_7_2_107
3140_1010_0_30_0_0 <- 3192_1011_0_30_0_0
3140_1010_0_31_0_0 <- 3192_1011_0_31_0_0
3140_1010_0_32_0_0 <- 3192_1011_0_32_0_0
6049_1017_0_52_2_0 <- 0_0_0_52_0_0
3140_1010_0_42_0_0 <- 3192_1011_0_42_0_0
3140_1010_0_43_0_0 <- 3192_1011_0_43_0_0
3140_1010_0_44_0_0 <- 3192_1011_0_44_0_0
9832_1010_0_84_0_5684 <- 9832_1010_0_84_0_0
32962_1011_2_103_0_0 <- 24746_1018_0_103_2_0
3140_1010_0_55_0_0 <- 3192_1011_0_55_0_0
3140_1010_0_56_0_0 <- 3192_1011_0_56_0_0
3140_1010_0_57_0_0 <- 3192_1011_0_57_0_0
91_0_0_46_0_0 <- 91_0_0_79_0_4952 , 3507_1011_0_79_0_0 , 0_0_0_79_0_0
16734_1014_0_62_0_0 <- 16604_1014_0_62_0_0
6049_1017_0_86_2_0 <- 0_0_0_86_0_0
2461_1011_1_112_0_0 <- 1920_1018_0_112_2_0
3140_1010_0_89_0_0 <- 3192_1011_0_89_0_0
3140_1010_0_90_0_0 <- 3192_1011_0_90_0_0
3140_1010_0_91_0_0 <- 3192_1011_0_91_0_0
3639_1018_0_66_0_0 <- 0_0_0_66_0_0
2721_1020_0_66_0_0 <- 2649_1020_0_66_2_0
4287_1010_0_28_0_0 <- 3566_1017_0_28_2_0
3743_1010_5_29_0_6086 <- 3743_1010_5_29_0_0
23_0_0_23_0_4662 <- 0_0_0_23_0_0 , 1878_1019_0_23_2_0
4287_1010_0_40_0_0 <- 3566_1017_0_40_2_0
3743_1010_5_41_0_5985 <- 3743_1010_5_41_0_0
10959_1014_0_61_0_0 <- 10954_1014_0_61_0_0 , 10941_1013_0_61_0_148
3192_1012_0_68_0_0 <- 2330_1016_0_68_2_0
3192_1012_0_69_0_0 <- 2330_1016_0_69_2_0
3192_1012_0_70_0_0 <- 2330_1016_0_70_2_0
14489_1003_0_8_0_0 <- 12667_1007_0_8_2_0
12907_1005_5_8_0_0 <- 13929_1001_5_8_0_0
14489_1003_0_11_0_0 <- 12667_1007_0_11_2_0
4287_1010_0_53_0_0 <- 3566_1017_0_53_2_0
12907_1005_5_11_0_0 <- 13929_1001_5_11_0_0
3743_1010_5_54_0_5874 <- 3743_1010_5_54_0_0
4004_1015_0_28_0_0 <- 4056_1015_5_28_0_0
10898_1015_0_61_0_0 <- 5134_1020_0_61_0_0
16676_1014_0_62_0_0 <- 16604_1014_0_62_0_0
7346_1019_0_47_2_0 <- 0_0_0_47_0_0
4004_1015_0_40_0_0 <- 4056_1015_5_40_0_0
14489_1003_0_35_0_0 <- 12667_1007_0_35_2_0
6580_1007_0_65_0_0 <- 5060_1012_0_65_2_0
12907_1005_5_35_0_0 <- 13929_1001_5_35_0_0
7346_1019_3_59_2_0 <- 0_0_0_59_0_0
4004_1015_0_53_0_0 <- 4056_1015_5_53_0_0
4287_1010_0_87_0_0 <- 3566_1017_0_87_2_0
3743_1010_5_88_0_5657 <- 3743_1010_5_88_0_0
14489_1003_0_48_0_0 <- 12667_1007_0_48_2_0
13526_1017_0_25_0_0 <- 0_0_0_25_0_0
12907_1005_5_48_0_0 <- 13929_1001_5_48_0_0
13526_1017_0_37_0_0 <- 0_0_0_37_0_0
6528_1007_0_65_0_0 <- 6580_1007_0_65_0_0
16922_1010_5_25_0_0 <- 16922_1010_0_25_0_0
13526_1017_0_50_0_0 <- 0_0_0_50_0_0
4004_1015_0_87_0_0 <- 4056_1015_5_87_0_0
9331_1013_0_8_0_0 <- 3308_1019_0_8_0_0
2728_1020_0_73_2_0 <- 32962_1011_5_73_0_0
2457_1010_0_33_0_0 <- 2461_1010_0_33_0_0 , 1982_1017_0_33_2_0
9331_1013_0_11_0_0 <- 3308_1019_0_11_0_0
16922_1010_5_37_0_0 <- 16922_1010_0_37_0_0
2457_1010_0_45_0_0 <- 2461_1010_0_45_0_0 , 1982_1017_0_45_2_0
3420_1011_0_29_0_0 <- 2525_1015_0_29_2_6087 , 2525_1015_5_29_2_6090
16922_1010_5_50_0_0 <- 16922_1010_0_50_0_0
3420_1011_0_41_0_0 <- 2525_1015_0_41_2_5986 , 2525_1015_5_41_2_5989
9331_1013_0_35_0_0 <- 3308_1019_0_35_0_0
2457_1010_0_58_0_0 <- 2461_1010_0_58_0_0 , 1982_1017_0_58_2_0
13526_1017_0_84_0_0 <- 0_0_0_84_0_0
78_0_0_46_0_0 <- 78_0_0_67_0_4905 , 2723_1015_0_67_0_0 , 0_0_0_67_0_0
254_1009_0_34_2_82 <- 254_1009_0_34_2_0
254_1009_0_34_2_83 <- 254_1009_0_34_2_0
254_1009_0_34_2_87 <- 254_1009_0_34_2_83
254_1009_0_34_2_88 <- 254_1009_0_34_2_83
254_1009_0_34_2_85 <- 254_1009_0_34_2_84
254_1009_0_34_2_86 <- 254_1009_0_34_2_84 , 254_1009_0_34_2_85
254_1009_0_34_2_89 <- 254_1009_0_34_2_88
254_1009_0_34_2_90 <- 254_1009_0_34_2_88
254_1009_0_34_2_91 <- 254_1009_0_34_2_90
254_1009_0_34_2_92 <- 254_1009_0_34_2_90
254_1009_0_34_2_93 <- 254_1009_0_34_2_92
254_1009_0_34_2_94 <- 254_1009_0_34_2_92
254_1009_0_34_2_95 <- 254_1009_0_34_2_94
254_1009_0_34_2_96 <- 254_1009_0_34_2_94
254_1009_0_34_2_97 <- 254_1009_0_34_2_96
254_1009_0_34_2_98 <- 254_1009_0_34_2_96
254_1009_0_34_2_99 <- 254_1009_0_34_2_98
254_1009_0_34_2_100 <- 254_1009_0_34_2_98
254_1009_0_34_2_101 <- 254_1009_0_34_2_100
254_1009_0_34_2_102 <- 254_1009_0_34_2_100
254_1009_0_34_2_103 <- 254_1009_0_34_2_102
254_1009_0_34_2_104 <- 254_1009_0_34_2_102
254_1009_0_34_2_105 <- 254_1009_0_34_2_104
254_1009_0_34_2_106 <- 254_1009_0_34_2_104
4017_1008_0_7_2_12 <- 0_0_0_7_0_0
4017_1008_0_7_2_13 <- 0_0_0_7_0_0
3420_1011_0_54_0_0 <- 2525_1015_0_54_2_5875 , 2525_1015_5_54_2_5878
1747_1017_0_46_2_0 <- 0_0_0_46_0_0
9331_1013_0_48_0_0 <- 3308_1019_0_48_0_0
16922_1010_5_84_0_0 <- 16922_1010_0_84_0_0
57_0_0_46_0_0 <- 0_0_0_51_0_0 , 8051_1012_0_51_0_0 , 57_0_0_51_0_4855
2457_1010_0_92_0_0 <- 2461_1010_0_92_0_0 , 1982_1017_0_92_2_0
8242_1013_0_64_0_0 <- 8475_1011_3_64_0_0
28_0_0_7_0_0 <- 0_0_0_26_0_0 , 8051_1012_0_26_0_0 , 28_0_0_26_0_4786
2670_1020_0_73_0_0 <- 32962_1011_5_73_0_0
3420_1011_0_88_0_0 <- 2525_1015_0_88_2_5658 , 2525_1015_5_88_2_5661
6580_1007_5_27_0_0 <- 5060_1012_5_27_2_0
6580_1007_5_39_0_0 <- 5060_1012_5_39_2_0
88_0_0_46_0_0 <- 4058_1016_0_76_0_0 , 88_0_0_76_0_4955 , 0_0_0_76_0_0
6580_1007_5_52_0_0 <- 5060_1012_5_52_2_0
18110_1007_0_24_0_0 <- 32391_1003_0_24_0_0
12000_1008_0_61_0_0 <- 11995_1007_0_61_0_0 , 11906_1008_0_61_0_0
18110_1007_0_36_0_0 <- 32391_1003_0_36_0_0
18110_1007_0_49_0_0 <- 32391_1003_0_49_0_0
8198_1015_0_25_0_0 <- 16386_1006_5_25_0_0
9_0_0_10_0_4754 <- 172_1017_0_10_2_0 , 0_0_0_10_0_0
6580_1007_5_86_0_0 <- 5060_1012_5_86_2_0
8198_1015_0_37_0_0 <- 16386_1006_5_37_0_0
13468_1018_0_104_2_0 <- 0_0_0_104_0_0
0_0_0_3_0_4 <- 2_0_0_1_0_3
8198_1015_0_50_0_0 <- 16386_1006_5_50_0_0
18110_1007_0_83_0_0 <- 32391_1003_0_83_0_0
18052_1007_0_24_0_0 <- 32391_1003_0_24_0_0
16922_1010_0_25_0_0 <- 13530_1017_0_25_2_0
18052_1007_0_36_0_0 <- 32391_1003_0_36_0_0
12667_1006_0_8_2_0 <- 9709_1011_0_8_0_0
12667_1006_0_11_2_0 <- 9709_1011_0_11_0_0
16922_1010_0_37_0_0 <- 13530_1017_0_37_2_0
8198_1015_0_84_0_0 <- 16386_1006_5_84_0_0
18052_1007_0_49_0_0 <- 32391_1003_0_49_0_0
8140_1015_0_25_0_0 <- 16386_1006_5_25_0_0
91_0_0_79_0_4952 <- 0_0_0_79_0_0 , 2779_1018_0_79_2_0
16922_1010_0_50_0_0 <- 13530_1017_0_50_2_0
12667_1006_0_35_2_0 <- 9709_1011_0_35_0_0
62_0_0_46_0_0 <- 0_0_0_56_0_0 , 62_0_0_56_0_4830 , 3192_1011_5_56_0_0
8140_1015_0_37_0_0 <- 16386_1006_5_37_0_0
8916_1015_0_25_0_6111 <- 8916_1015_0_25_0_0
16227_1007_0_63_0_0 <- 16386_1006_0_63_0_0
12667_1006_0_48_2_0 <- 9709_1011_0_48_0_0
8140_1015_0_50_0_0 <- 16386_1006_5_50_0_0
18052_1007_0_83_0_0 <- 32391_1003_0_83_0_0
8471_1011_0_64_0_0 <- 7246_1018_1_64_2_0
8916_1015_0_37_0_6010 <- 8916_1015_0_37_0_0
13102_1017_0_8_2_5695 <- 13102_1017_0_8_2_0
13102_1017_0_11_2_6124 <- 13102_1017_0_11_2_0
34_0_0_7_0_0 <- 34_0_0_29_0_4767 , 3428_1011_5_29_0_0 , 0_0_0_29_0_0
16922_1010_0_84_0_0 <- 13530_1017_0_84_2_0
4287_1011_1_107_0_0 <- 3504_1018_0_107_2_0
2108_1005_0_46_0_0 <- 2116_1006_3_46_0_0 , 2116_1006_5_46_0_0 , 2116_1006_6_46_0_0
3562_1017_0_28_0_0 <- 0_0_0_28_0_0
8916_1015_0_50_0_5899 <- 8916_1015_0_50_0_0
3562_1017_0_40_0_0 <- 0_0_0_40_0_0
32435_998_0_24_0_0 <- 21181_1002_0_24_0_0
1054_1008_0_46_0_0 <- 2116_1005_1_46_0_0
13102_1017_0_35_2_6023 <- 13102_1017_0_35_2_0
8140_1015_0_84_0_0 <- 16386_1006_5_84_0_0
724_1010_0_34_0_5942 <- 724_1010_0_34_0_0
3562_1017_0_53_0_0 <- 0_0_0_53_0_0
32435_998_0_36_0_0 <- 21181_1002_0_36_0_0
19_0_0_19_0_4666 <- 2793_1019_0_19_2_0 , 0_0_0_19_0_0
15_0_0_12_0_0 <- 16922_1012_2_15_0_0 , 0_0_0_15_0_0 , 15_0_0_15_0_4670
0_0_0_61_0_0 <- 854_1008_0_46_2_143
0_0_0_62_0_0 <- 854_1008_0_46_2_149
0_0_0_63_0_0 <- 854_1008_0_46_2_152
0_0_0_64_0_0 <- 854_1008_0_46_2_155
0_0_0_65_0_0 <- 854_1008_0_46_2_158
0_0_0_66_0_0 <- 854_1008_0_46_2_161
0_0_0_67_0_0 <- 854_1008_0_46_2_164
0_0_0_68_0_0 <- 854_1008_0_46_2_166
0_0_0_69_0_0 <- 854_1008_0_46_2_168
0_0_0_70_0_0 <- 854_1008_0_46_2_170
0_0_0_71_0_0 <- 854_1008_0_46_2_172
13102_1017_0_48_2_5912 <- 13102_1017_0_48_2_0
32391_1003_0_24_0_0 <- 32443_998_0_24_0_0
8916_1015_0_84_0_5682 <- 8916_1015_0_84_0_0
6122_1018_0_65_0_0 <- 0_0_0_65_0_0
32435_998_0_49_0_0 <- 21181_1002_0_49_0_0
527_1018_0_46_0_0 <- 517_1018_0_46_0_0
0_0_0_7_0_0 <- 7_0_0_0_0_0
32391_1003_0_36_0_0 <- 32443_998_0_36_0_0
3368_1011_0_67_0_0 <- 3428_1012_0_67_0_0
2461_1011_3_112_0_0 <- 2461_1011_1_112_0_0
3562_1017_0_87_0_0 <- 0_0_0_87_0_0
475_1014_0_46_2_0 <- 455_1008_0_46_2_115
32391_1003_0_49_0_0 <- 32443_998_0_49_0_0
455_1008_0_46_2_0 <- 2116_1004_0_46_0_0
3781_1010_0_27_0_0 <- 6528_1006_0_27_0_0
32435_998_0_83_0_0 <- 21181_1002_0_83_0_0
3558_1012_0_3_2_241 <- 3558_1012_0_3_2_6
3558_1012_0_3_2_242 <- 3558_1012_0_3_2_6
3558_1012_0_3_2_243 <- 3558_1012_0_3_2_242
3558_1012_0_3_2_244 <- 3558_1012_0_3_2_242
3558_1012_0_3_2_245 <- 3558_1012_0_3_2_244
3558_1012_0_3_2_246 <- 3558_1012_0_3_2_244
3558_1012_0_3_2_247 <- 3558_1012_0_3_2_246
3558_1012_0_3_2_248 <- 3558_1012_0_3_2_246
3558_1012_0_3_2_249 <- 3558_1012_0_3_2_248
3558_1012_0_3_2_250 <- 3558_1012_0_3_2_248
3558_1012_0_3_2_251 <- 3558_1012_0_3_2_250
3558_1012_0_3_2_252 <- 3558_1012_0_3_2_250
3558_1012_0_3_2_253 <- 3558_1012_0_3_2_252
3558_1012_0_3_2_254 <- 3558_1012_0_3_2_252
3558_1012_0_3_2_255 <- 3558_1012_0_3_2_254
3558_1012_0_3_2_256 <- 3558_1012_0_3_2_254
3558_1012_0_3_2_257 <- 3558_1012_0_3_2_256
3558_1012_0_3_2_258 <- 3558_1012_0_3_2_256
3558_1012_0_3_2_259 <- 3558_1012_0_3_2_258
3558_1012_0_3_2_260 <- 3558_1012_0_3_2_258
3781_1010_0_39_0_0 <- 6528_1006_0_39_0_0
32958_1010_0_24_0_0 <- 24808_1017_0_24_2_0 , 32962_1010_0_24_0_0
12907_1005_0_8_0_5702 <- 12907_1005_0_8_0_0
12907_1005_0_11_0_6131 <- 12907_1005_0_11_0_0
11995_1007_0_61_0_0 <- 14437_1003_0_61_0_0
4161_1008_0_7_2_17 <- 4017_1008_0_7_2_16
4161_1008_0_7_2_18 <- 4017_1008_0_7_2_16
3781_1010_0_52_0_0 <- 6528_1006_0_52_0_0
32958_1010_0_36_0_0 <- 24808_1017_0_36_2_0 , 32962_1010_0_36_0_0
122_0_0_110_0_4675 <- 2640_1018_0_110_2_0 , 3507_1011_1_110_0_0 , 0_0_0_110_0_0
32391_1003_0_83_0_0 <- 32443_998_0_83_0_0
32958_1010_0_49_0_0 <- 24808_1017_0_49_2_0 , 32962_1010_0_49_0_0
12907_1005_0_35_0_6030 <- 12907_1005_0_35_0_0
57_0_0_51_0_4855 <- 8471_1010_0_51_0_0 , 1554_1019_0_51_0_5894 , 1407_1019_0_51_0_5893 , 7165_1017_0_51_0_0 , 8242_1012_5_51_0_5895
8471_1010_0_26_0_0 <- 8475_1010_0_26_0_0 , 7169_1017_0_26_2_0
12907_1005_0_48_0_5919 <- 12907_1005_0_48_0_0
3781_1010_0_86_0_0 <- 6528_1006_0_86_0_0
8471_1010_0_38_0_0 <- 8475_1010_0_38_0_0 , 7169_1017_0_38_2_0
32958_1010_0_83_0_0 <- 24808_1017_0_83_2_0 , 32962_1010_0_83_0_0
2461_1011_5_71_0_5748 <- 2461_1011_5_71_0_0
8471_1010_0_51_0_0 <- 8475_1010_0_51_0_0 , 7169_1017_0_51_2_0
1878_1019_0_23_2_0 <- 0_0_0_23_0_0
2525_1015_0_29_2_6087 <- 2525_1015_0_29_2_0
16378_1006_0_63_0_0 <- 9572_1010_0_63_0_0
2525_1015_0_41_2_5986 <- 2525_1015_0_41_2_0
9832_1010_0_25_0_0 <- 16227_1006_0_25_0_0
11575_1020_0_62_2_0 <- 32962_1011_0_62_0_0
8471_1010_0_85_0_0 <- 8475_1010_0_85_0_0 , 7169_1017_0_85_2_0
3504_1018_0_107_2_0 <- 0_0_0_107_0_0
2525_1015_0_54_2_5875 <- 2525_1015_0_54_2_0
9832_1010_0_37_0_0 <- 16227_1006_0_37_0_0
9832_1010_0_50_0_0 <- 16227_1006_0_50_0_0
101_0_0_7_0_0 <- 101_0_0_89_0_4693 , 0_0_0_89_0_0 , 3192_1011_5_89_0_0
4401_1008_0_7_2_22 <- 4161_1008_0_7_2_21
4401_1008_0_7_2_23 <- 4161_1008_0_7_2_21
12861_1008_0_61_0_0 <- 13929_1004_0_61_0_5810 , 13929_1004_5_61_0_5813
2311_1013_0_71_0_0 <- 2461_1011_5_71_0_0
2525_1015_0_88_2_5658 <- 2525_1015_0_88_2_0
14864_1010_0_8_0_0 <- 13102_1017_0_8_2_0
14864_1010_0_11_0_0 <- 13102_1017_0_11_2_0
4287_1010_5_28_0_0 <- 4287_1010_0_28_0_0
3743_1010_0_29_0_0 <- 2897_1017_0_29_2_0
724_1010_0_34_0_0 <- 447_1017_0_34_2_0
9832_1010_0_84_0_0 <- 16227_1006_0_84_0_0
1878_1019_0_102_2_0 <- 0_0_0_102_0_0
4287_1010_5_40_0_0 <- 4287_1010_0_40_0_0
3743_1010_0_41_0_0 <- 2897_1017_0_41_2_0
0_0_0_4_0_0 <- 3558_1012_0_3_2_5
9774_1010_0_25_0_0 <- 16227_1006_0_25_0_0
0_0_0_103_0_0 <- 3558_1012_0_3_2_241
0_0_0_104_0_0 <- 3558_1012_0_3_2_243
0_0_0_105_0_0 <- 3558_1012_0_3_2_245
0_0_0_106_0_0 <- 3558_1012_0_3_2_247
0_0_0_107_0_0 <- 3558_1012_0_3_2_249
0_0_0_108_0_0 <- 3558_1012_0_3_2_251
0_0_0_109_0_0 <- 3558_1012_0_3_2_253
0_0_0_110_0_0 <- 3558_1012_0_3_2_255
0_0_0_111_0_0 <- 3558_1012_0_3_2_257
0_0_0_112_0_0 <- 3558_1012_0_3_2_259
11517_1020_0_62_0_0 <- 32962_1011_0_62_0_0
14864_1010_0_35_0_0 <- 13102_1017_0_35_2_0
4287_1010_5_53_0_0 <- 4287_1010_0_53_0_0
802_1019_0_33_0_0 <- 2461_1010_5_33_0_0
13929_1001_0_8_0_5701 <- 13929_1001_0_8_0_0
3743_1010_0_54_0_0 <- 2897_1017_0_54_2_0
9774_1010_0_37_0_0 <- 16227_1006_0_37_0_0
13929_1001_0_11_0_6130 <- 13929_1001_0_11_0_0
3184_1011_0_30_0_0 <- 2330_1015_0_30_2_6076 , 2330_1015_5_30_2_6079
14864_1010_0_48_0_0 <- 13102_1017_0_48_2_0
3184_1011_0_31_0_0 <- 2330_1015_0_31_2_6065 , 2330_1015_5_31_2_6068
3184_1011_0_32_0_0 <- 2330_1015_0_32_2_6054 , 2330_1015_5_32_2_6057
87_0_0_46_0_0 <- 8475_1011_0_75_0_0 , 0_0_0_75_0_0 , 87_0_0_75_0_4956
802_1019_0_45_0_0 <- 2461_1010_5_45_0_0
64_0_0_58_0_4824 <- 949_1019_0_58_0_5833 , 2457_1010_0_58_0_0 , 1978_1017_0_58_0_0 , 2311_1012_5_58_0_5834 , 802_1019_0_58_0_5832
9774_1010_0_50_0_0 <- 16227_1006_0_50_0_0
3184_1011_0_42_0_0 <- 2330_1015_0_42_2_5975 , 2330_1015_5_42_2_5978
11906_1008_0_61_0_0 <- 10898_1015_0_61_0_0
3184_1011_0_43_0_0 <- 2330_1015_0_43_2_5964 , 2330_1015_5_43_2_5967
3184_1011_0_44_0_0 <- 2330_1015_0_44_2_5953 , 2330_1015_5_44_2_5956
16922_1011_5_104_0_0 <- 13468_1018_0_104_2_0
802_1019_0_58_0_0 <- 2461_1010_5_58_0_0
13929_1001_0_35_0_6029 <- 13929_1001_0_35_0_0
4287_1010_5_87_0_0 <- 4287_1010_0_87_0_0
72_0_0_46_0_0 <- 0_0_0_64_0_0 , 72_0_0_64_0_4919 , 8051_1013_0_64_0_0
13921_1004_0_61_0_0 <- 11290_1013_0_61_0_5812 , 14489_1005_5_61_0_5809
3184_1011_0_55_0_0 <- 2330_1015_0_55_2_5864 , 2330_1015_5_55_2_5867
3184_1011_0_56_0_0 <- 2330_1015_0_56_2_5853 , 2330_1015_5_56_2_5856
3785_1011_0_65_0_0 <- 6528_1007_0_65_0_0
3743_1010_0_88_0_0 <- 2897_1017_0_88_2_0
3184_1011_0_57_0_0 <- 2330_1015_0_57_2_5842 , 2330_1015_5_57_2_5845
2645_1020_0_66_0_0 <- 4287_1011_5_66_0_0
13929_1001_0_48_0_5918 <- 13929_1001_0_48_0_0
14_0_0_14_0_4671 <- 24704_1019_8_14_2_0 , 0_0_0_14_0_0
14481_1002_0_8_0_0 <- 12667_1006_0_8_2_0 , 12667_1006_5_8_2_0
9774_1010_0_84_0_0 <- 16227_1006_0_84_0_0
364_1010_0_10_0_0 <- 172_1017_0_10_2_0
14481_1002_0_11_0_0 <- 12667_1006_0_11_2_0 , 12667_1006_5_11_2_0
802_1019_0_92_0_0 <- 2461_1010_5_92_0_0
2525_1015_5_29_2_6090 <- 2525_1015_5_29_2_0
3184_1011_0_89_0_0 <- 2330_1015_0_89_2_5647 , 2330_1015_5_89_2_5650
3184_1011_0_90_0_0 <- 2330_1015_0_90_2_5636 , 2330_1015_5_90_2_5639
3184_1011_0_91_0_0 <- 2330_1015_0_91_2_5625 , 2330_1015_5_91_2_5628
14481_1002_0_35_0_0 <- 12667_1006_0_35_2_0 , 12667_1006_5_35_2_0
2525_1015_5_41_2_5989 <- 2525_1015_5_41_2_0
14481_1002_0_48_0_0 <- 12667_1006_0_48_2_0 , 12667_1006_5_48_2_0
2525_1015_5_54_2_5878 <- 2525_1015_5_54_2_0
2461_1012_0_23_0_0 <- 1878_1019_0_23_2_0
6908_1010_0_27_0_0 <- 6049_1017_0_27_2_0
6908_1010_0_39_0_0 <- 6049_1017_0_39_2_0
2723_1014_0_29_0_6089 <- 2723_1014_0_29_0_0
6908_1010_0_52_0_0 <- 6049_1017_0_52_2_0
2525_1015_5_88_2_5661 <- 2525_1015_5_88_2_0
6045_1017_0_27_0_0 <- 0_0_0_27_0_0
2723_1014_0_41_0_5988 <- 2723_1014_0_41_0_0
6045_1017_0_39_0_0 <- 0_0_0_39_0_0
2723_1014_0_54_0_5877 <- 2723_1014_0_54_0_0
20_0_0_20_0_4665 <- 2598_1019_0_20_2_0 , 0_0_0_20_0_0
6045_1017_0_52_0_0 <- 0_0_0_52_0_0
6908_1010_0_86_0_0 <- 6049_1017_0_86_2_0
21181_1002_0_24_0_0 <- 16734_1012_0_24_0_0
13929_1001_5_8_0_5704 <- 13929_1001_5_8_0_0
13929_1001_5_11_0_6133 <- 13929_1001_5_11_0_0
32443_1000_0_62_0_0 <- 21181_1004_0_62_0_0
8475_1011_6_105_0_0 <- 8475_1011_1_105_0_0
5060_1012_5_27_2_0 <- 3785_1010_0_27_0_0
21181_1002_0_36_0_0 <- 16734_1012_0_36_0_0
2461_1012_0_102_0_0 <- 1878_1019_0_102_2_0
2723_1014_0_88_0_5660 <- 2723_1014_0_88_0_0
5060_1012_5_39_2_0 <- 3785_1010_0_39_0_0
21181_1002_0_49_0_0 <- 16734_1012_0_49_0_0
8475_1011_3_64_0_5791 <- 8475_1011_3_64_0_0
6045_1017_0_86_0_0 <- 0_0_0_86_0_0
13929_1001_5_35_0_6032 <- 13929_1001_5_35_0_0
5060_1012_5_52_2_0 <- 3785_1010_0_52_0_0
13929_1001_5_48_0_5921 <- 13929_1001_5_48_0_0
26_0_0_7_0_0 <- 26_0_0_25_0_4789 , 8310_1015_0_25_0_0 , 0_0_0_25_0_0
4283_1010_0_28_0_0 <- 3566_1017_0_28_2_0 , 4287_1010_0_28_0_0
0_0_0_48_0_0 <- 455_1008_0_46_2_111
0_0_0_49_0_0 <- 455_1008_0_46_2_116
0_0_0_50_0_0 <- 455_1008_0_46_2_118
0_0_0_51_0_0 <- 455_1008_0_46_2_120
0_0_0_52_0_0 <- 455_1008_0_46_2_122
0_0_0_53_0_0 <- 455_1008_0_46_2_124
0_0_0_54_0_0 <- 455_1008_0_46_2_126
0_0_0_55_0_0 <- 455_1008_0_46_2_128
0_0_0_56_0_0 <- 455_1008_0_46_2_130
0_0_0_57_0_0 <- 455_1008_0_46_2_132
0_0_0_58_0_0 <- 455_1008_0_46_2_134
14864_1011_0_4_0_0 <- 13040_1018_0_4_2_0
21181_1002_0_83_0_0 <- 16734_1012_0_83_0_0
10954_1014_0_61_0_0 <- 12000_1008_0_61_0_0
4283_1010_0_40_0_0 <- 3566_1017_0_40_2_0 , 4287_1010_0_40_0_0
3308_1019_0_8_0_0 <- 3221_1019_0_8_0_0
3308_1019_0_11_0_0 <- 3221_1019_0_11_0_0
5060_1012_5_86_2_0 <- 3785_1010_0_86_0_0
4283_1010_0_53_0_0 <- 3566_1017_0_53_2_0 , 4287_1010_0_53_0_0
2793_1019_0_19_2_0 <- 0_0_0_19_0_0
3308_1019_0_35_0_0 <- 3221_1019_0_35_0_0
82_0_0_46_0_0 <- 2259_1013_0_71_0_0 , 0_0_0_71_0_0 , 82_0_0_71_0_4893
3011_1013_0_5_2_9 <- 0_0_0_5_0_0
3011_1013_0_5_2_10 <- 0_0_0_5_0_0
3308_1019_0_48_0_0 <- 3221_1019_0_48_0_0
3011_1013_0_12_2_27 <- 0_0_0_12_0_0
3011_1013_0_12_2_28 <- 0_0_0_12_0_0
4283_1010_0_87_0_0 <- 3566_1017_0_87_2_0 , 4287_1010_0_87_0_0
2311_1012_5_33_0_0 <- 949_1019_0_33_0_0
112_0_0_100_0_4653 <- 2598_1019_0_100_2_0 , 0_0_0_100_0_0
2311_1012_5_45_0_0 <- 949_1019_0_45_0_0
16918_1010_0_25_0_0 <- 16922_1010_0_25_0_0 , 13530_1017_0_25_2_0
2311_1012_5_58_0_0 <- 949_1019_0_58_0_0
16918_1010_0_37_0_0 <- 16922_1010_0_37_0_0 , 13530_1017_0_37_2_0
5987_1018_0_106_2_0 <- 0_0_0_106_0_0
32962_1012_8_14_0_0 <- 24704_1019_8_14_2_0
4004_1016_0_66_0_0 <- 4056_1016_0_66_0_0
3743_1011_1_108_0_0 <- 2835_1018_0_108_2_0
9562_1011_0_8_0_0 <- 9521_1011_0_8_0_0
9562_1011_0_11_0_0 <- 9521_1011_0_11_0_0
16918_1010_0_50_0_0 <- 16922_1010_0_50_0_0 , 13530_1017_0_50_2_0
2793_1019_0_98_2_0 <- 0_0_0_98_0_0
32962_1010_1_24_0_0 <- 32962_1010_0_24_0_0
3221_1019_0_8_0_5698 <- 3221_1019_0_8_0_0
44_0_0_34_0_0 <- 44_0_0_38_0_4998 , 0_0_0_38_0_0 , 8051_1012_0_38_0_0
3221_1019_0_11_0_6127 <- 3221_1019_0_11_0_0
2311_1012_5_92_0_0 <- 949_1019_0_92_0_0
32962_1010_1_36_0_0 <- 32962_1010_0_36_0_0
274_1015_0_34_2_0 <- 254_1009_0_34_2_86
111_0_0_5_0_0 <- 0_0_0_99_0_0 , 111_0_0_99_0_4654 , 3507_1012_0_99_0_0
1058_1008_0_46_2_175 <- 1058_1008_0_46_2_0
1058_1008_0_46_2_176 <- 1058_1008_0_46_2_0
1058_1008_0_46_2_181 <- 1058_1008_0_46_2_176
1058_1008_0_46_2_182 <- 1058_1008_0_46_2_176
1058_1008_0_46_2_178 <- 1058_1008_0_46_2_177
1058_1008_0_46_2_179 <- 1058_1008_0_46_2_177 , 1058_1008_0_46_2_178
1058_1008_0_46_2_183 <- 1058_1008_0_46_2_182
1058_1008_0_46_2_184 <- 1058_1008_0_46_2_182
1058_1008_0_46_2_185 <- 1058_1008_0_46_2_184
1058_1008_0_46_2_186 <- 1058_1008_0_46_2_184
1058_1008_0_46_2_187 <- 1058_1008_0_46_2_186
1058_1008_0_46_2_188 <- 1058_1008_0_46_2_186
1058_1008_0_46_2_189 <- 1058_1008_0_46_2_188
1058_1008_0_46_2_190 <- 1058_1008_0_46_2_188
1058_1008_0_46_2_191 <- 1058_1008_0_46_2_190
1058_1008_0_46_2_192 <- 1058_1008_0_46_2_190
1058_1008_0_46_2_193 <- 1058_1008_0_46_2_192
1058_1008_0_46_2_194 <- 1058_1008_0_46_2_192
1058_1008_0_46_2_195 <- 1058_1008_0_46_2_194
1058_1008_0_46_2_196 <- 1058_1008_0_46_2_194
1058_1008_0_46_2_197 <- 1058_1008_0_46_2_196
1058_1008_0_46_2_198 <- 1058_1008_0_46_2_196
1058_1008_0_46_2_199 <- 1058_1008_0_46_2_198
1058_1008_0_46_2_200 <- 1058_1008_0_46_2_198
9562_1011_0_35_0_0 <- 9521_1011_0_35_0_0
1743_1017_0_46_0_0 <- 0_0_0_46_0_0
32962_1010_1_49_0_0 <- 32962_1010_0_49_0_0
2116_1008_0_46_0_0 <- 2194_1010_0_46_0_0
3743_1011_3_108_0_0 <- 3743_1011_1_108_0_0
16918_1010_0_84_0_0 <- 16922_1010_0_84_0_0 , 13530_1017_0_84_2_0
3221_1019_0_35_0_6026 <- 3221_1019_0_35_0_0
9562_1011_0_48_0_0 <- 9521_1011_0_48_0_0
3140_1011_0_68_0_0 <- 3192_1012_0_68_0_0
3140_1011_0_69_0_0 <- 3192_1012_0_69_0_0
3140_1011_0_70_0_0 <- 3192_1012_0_70_0_0
3558_1012_0_3_2_5 <- 0_0_0_3_0_4
3558_1012_0_3_2_6 <- 0_0_0_3_0_4
3221_1019_0_48_0_5915 <- 3221_1019_0_48_0_0
3376_1010_0_29_0_6088 <- 3376_1010_0_29_0_0
1119_1018_0_46_0_0 <- 1662_1014_1_46_2_0 , 1118_1018_0_46_0_0
32962_1010_1_83_0_0 <- 32962_1010_0_83_0_0
3376_1010_0_41_0_5987 <- 3376_1010_0_41_0_0
32962_1012_8_93_0_0 <- 24704_1019_8_93_2_0
403_1015_0_34_2_0 <- 274_1015_0_34_2_0
3376_1010_0_54_0_5876 <- 3376_1010_0_54_0_0
93_0_0_46_0_0 <- 93_0_0_81_0_4950 , 3507_1011_0_81_0_0 , 0_0_0_81_0_0
3376_1010_0_88_0_5659 <- 3376_1010_0_88_0_0
3743_1011_5_67_0_5776 <- 3743_1011_5_67_0_0
6908_1011_6_106_0_0 <- 5987_1018_0_106_2_0
4287_1012_0_18_0_0 <- 3462_1019_0_18_2_0
8051_1012_0_26_0_0 <- 8242_1012_5_26_0_0
466_1014_0_46_0_0 <- 455_1008_0_46_2_115
8051_1012_0_38_0_0 <- 8242_1012_5_38_0_0
3507_1010_0_30_0_0 <- 2702_1017_0_30_2_0
3507_1010_0_31_0_0 <- 2702_1017_0_31_2_0
3507_1010_0_32_0_0 <- 2702_1017_0_32_2_0
8051_1012_0_51_0_0 <- 8242_1012_5_51_0_0
3507_1010_0_42_0_0 <- 2702_1017_0_42_2_0
3507_1010_0_43_0_0 <- 2702_1017_0_43_2_0
3507_1010_0_44_0_0 <- 2702_1017_0_44_2_0
1500_1019_0_28_0_6094 <- 1500_1019_0_28_0_0
3507_1010_0_55_0_0 <- 2702_1017_0_55_2_0
3507_1010_0_56_0_0 <- 2702_1017_0_56_2_0
1500_1019_0_40_0_5993 <- 1500_1019_0_40_0_0
3507_1010_0_57_0_0 <- 2702_1017_0_57_2_0
15886_1014_0_73_0_0 <- 3012_1018_0_73_0_0
8051_1012_0_85_0_0 <- 8242_1012_5_85_0_0
1500_1019_0_53_0_5882 <- 1500_1019_0_53_0_0
4287_1012_0_97_0_0 <- 3462_1019_0_97_2_0
2528_1014_0_30_0_0 <- 3140_1010_0_30_0_0
3507_1010_0_89_0_0 <- 2702_1017_0_89_2_0
2528_1014_0_31_0_0 <- 3140_1010_0_31_0_0
3507_1010_0_90_0_0 <- 2702_1017_0_90_2_0
2528_1014_0_32_0_0 <- 3140_1010_0_32_0_0
3507_1010_0_91_0_0 <- 2702_1017_0_91_2_0
3420_1012_0_67_0_0 <- 2525_1016_0_67_2_0
0_0_0_8_0_5694 <- 0_0_0_8_0_0
2528_1014_0_42_0_0 <- 3140_1010_0_42_0_0
2528_1014_0_43_0_0 <- 3140_1010_0_43_0_0
2528_1014_0_44_0_0 <- 3140_1010_0_44_0_0
1500_1019_0_87_0_5665 <- 1500_1019_0_87_0_0
0_0_0_11_0_6123 <- 0_0_0_11_0_0
2525_1015_5_29_2_0 <- 2723_1014_0_29_0_0
2528_1014_0_55_0_0 <- 3140_1010_0_55_0_0
16604_1012_0_24_0_0 <- 16492_1012_0_24_0_0
2528_1014_0_56_0_0 <- 3140_1010_0_56_0_0
2528_1014_0_57_0_0 <- 3140_1010_0_57_0_0
2525_1015_5_41_2_0 <- 2723_1014_0_41_0_0
0_0_0_29_0_6083 <- 0_0_0_29_0_0
0_0_0_30_0_6072 <- 0_0_0_30_0_0
0_0_0_31_0_6061 <- 0_0_0_31_0_0
0_0_0_32_0_6050 <- 0_0_0_32_0_0
0_0_0_34_0_5940 <- 0_0_0_34_0_0
16604_1012_0_36_0_0 <- 16492_1012_0_36_0_0
8776_1013_0_72_0_0 <- 8764_1014_0_72_0_0
0_0_0_35_0_6022 <- 0_0_0_35_0_0
15828_1014_0_73_0_0 <- 3012_1018_0_73_0_0
9572_1010_5_25_0_0 <- 9832_1010_0_25_0_0
92_0_0_46_0_0 <- 3507_1011_0_80_0_0 , 0_0_0_80_0_0 , 92_0_0_80_0_4951
2525_1015_5_54_2_0 <- 2723_1014_0_54_0_0
0_0_0_41_0_5982 <- 0_0_0_41_0_0
8242_1012_5_26_0_0 <- 1554_1019_0_26_0_0
0_0_0_42_0_5971 <- 0_0_0_42_0_0
0_0_0_43_0_5960 <- 0_0_0_43_0_0
0_0_0_44_0_5949 <- 0_0_0_44_0_0
16604_1012_0_49_0_0 <- 16492_1012_0_49_0_0
0_0_0_48_0_5911 <- 0_0_0_48_0_0
9572_1010_5_37_0_0 <- 9832_1010_0_37_0_0
64_0_0_46_0_0 <- 2259_1012_0_58_0_0 , 64_0_0_58_0_4824 , 0_0_0_58_0_0
8242_1012_5_38_0_0 <- 1554_1019_0_38_0_0
0_0_0_54_0_5871 <- 0_0_0_54_0_0
0_0_0_55_0_5860 <- 0_0_0_55_0_0
10_0_0_7_0_0 <- 10388_1010_0_11_0_0 , 0_0_0_11_0_0 , 10_0_0_11_0_4813
2528_1014_0_89_0_0 <- 3140_1010_0_89_0_0
0_0_0_56_0_5849 <- 0_0_0_56_0_0
2528_1014_0_90_0_0 <- 3140_1010_0_90_0_0
0_0_0_57_0_5838 <- 0_0_0_57_0_0
2528_1014_0_91_0_0 <- 3140_1010_0_91_0_0
13929_1004_0_61_0_0 <- 14489_1005_5_61_0_0
0_0_0_61_0_5804 <- 0_0_0_61_0_0
9572_1010_5_50_0_0 <- 9832_1010_0_50_0_0
8242_1012_5_51_0_0 <- 1554_1019_0_51_0_0
0_0_0_67_0_5774 <- 0_0_0_67_0_0
0_0_0_68_0_5767 <- 0_0_0_68_0_0
0_0_0_69_0_5760 <- 0_0_0_69_0_0
0_0_0_70_0_5753 <- 0_0_0_70_0_0
2525_1015_5_88_2_0 <- 2723_1014_0_88_0_0
451_1008_0_46_0_0 <- 2116_1004_0_46_0_0
16604_1012_0_83_0_0 <- 16492_1012_0_83_0_0
49_0_0_34_0_0 <- 49_0_0_43_0_4973 , 0_0_0_43_0_0 , 3192_1011_5_43_0_0
0_0_0_88_0_5654 <- 0_0_0_88_0_0
0_0_0_89_0_5643 <- 0_0_0_89_0_0
0_0_0_90_0_5632 <- 0_0_0_90_0_0
16546_1012_0_24_0_0 <- 16492_1012_0_24_0_0
0_0_0_91_0_5621 <- 0_0_0_91_0_0
9572_1010_5_84_0_0 <- 9832_1010_0_84_0_0
8242_1012_5_85_0_0 <- 1554_1019_0_85_0_0
16546_1012_0_36_0_0 <- 16492_1012_0_36_0_0
854_1008_0_46_2_143 <- 854_1008_0_46_2_0
854_1008_0_46_2_144 <- 854_1008_0_46_2_0
854_1008_0_46_2_149 <- 854_1008_0_46_2_144
854_1008_0_46_2_150 <- 854_1008_0_46_2_144
854_1008_0_46_2_146 <- 854_1008_0_46_2_145
854_1008_0_46_2_147 <- 854_1008_0_46_2_145 , 854_1008_0_46_2_146
854_1008_0_46_2_152 <- 854_1008_0_46_2_150
854_1008_0_46_2_153 <- 854_1008_0_46_2_150
854_1008_0_46_2_155 <- 854_1008_0_46_2_153
854_1008_0_46_2_156 <- 854_1008_0_46_2_153
854_1008_0_46_2_158 <- 854_1008_0_46_2_156
854_1008_0_46_2_159 <- 854_1008_0_46_2_156
854_1008_0_46_2_161 <- 854_1008_0_46_2_159
854_1008_0_46_2_162 <- 854_1008_0_46_2_159
854_1008_0_46_2_164 <- 854_1008_0_46_2_162
854_1008_0_46_2_165 <- 854_1008_0_46_2_162
854_1008_0_46_2_166 <- 854_1008_0_46_2_165
854_1008_0_46_2_167 <- 854_1008_0_46_2_165
854_1008_0_46_2_168 <- 854_1008_0_46_2_167
854_1008_0_46_2_169 <- 854_1008_0_46_2_167
854_1008_0_46_2_170 <- 854_1008_0_46_2_169
854_1008_0_46_2_171 <- 854_1008_0_46_2_169
854_1008_0_46_2_172 <- 854_1008_0_46_2_171
854_1008_0_46_2_173 <- 854_1008_0_46_2_171
6908_1010_5_27_0_0 <- 6908_1010_0_27_0_0
16546_1012_0_49_0_0 <- 16492_1012_0_49_0_0
121_0_0_3_0_0 <- 0_0_0_109_0_0 , 3507_1011_3_109_0_0 , 121_0_0_109_0_4676
6908_1010_5_39_0_0 <- 6908_1010_0_39_0_0
92_0_0_80_0_4951 <- 0_0_0_80_0_0 , 2779_1018_0_80_2_0
0_0_0_5_0_0 <- 5_0_0_0_0_0
14429_1003_0_61_0_0 <- 11914_1008_0_61_2_0
6908_1010_5_52_0_0 <- 6908_1010_0_52_0_0
14437_1000_0_8_0_0 <- 11914_1005_0_8_2_0
14437_1000_0_11_0_0 <- 11914_1005_0_11_2_0
16546_1012_0_83_0_0 <- 16492_1012_0_83_0_0
1407_1019_0_26_0_6105 <- 1407_1019_0_26_0_0
1407_1019_0_38_0_6004 <- 1407_1019_0_38_0_0
14437_1000_0_35_0_0 <- 11914_1005_0_35_2_0
6908_1010_5_86_0_0 <- 6908_1010_0_86_0_0
1407_1019_0_51_0_5893 <- 1407_1019_0_51_0_0
16922_1011_4_104_0_0 <- 16922_1011_5_104_0_0
14437_1000_0_48_0_0 <- 11914_1005_0_48_2_0
2330_1015_0_30_2_0 <- 3507_1010_5_30_0_0
2330_1015_0_31_2_0 <- 3507_1010_5_31_0_0
2330_1015_0_32_2_0 <- 3507_1010_5_32_0_0
8916_1016_0_63_0_5796 <- 8916_1016_0_63_0_0
1407_1019_0_85_0_5676 <- 1407_1019_0_85_0_0
2330_1015_0_42_2_0 <- 3507_1010_5_42_0_0
2330_1015_0_43_2_0 <- 3507_1010_5_43_0_0
2779_1018_5_68_2_0 <- 0_0_0_68_0_0
2330_1015_0_44_2_0 <- 3507_1010_5_44_0_0
2779_1018_5_69_2_0 <- 0_0_0_69_0_0
2779_1018_5_70_2_0 <- 0_0_0_70_0_0
2779_1018_0_79_2_0 <- 0_0_0_79_0_0
2779_1018_0_80_2_0 <- 0_0_0_80_0_0
2779_1018_0_81_2_0 <- 0_0_0_81_0_0
2330_1015_0_55_2_0 <- 3507_1010_5_55_0_0
2330_1015_0_56_2_0 <- 3507_1010_5_56_0_0
2330_1015_0_57_2_0 <- 3507_1010_5_57_0_0
16922_1012_2_15_0_0 <- 13426_1019_2_15_2_0
1287_1019_0_28_2_0 <- 4287_1010_5_28_0_0
2723_1014_0_29_0_0 <- 3376_1010_0_29_0_0
0_0_0_59_0_0 <- 650_1008_0_46_2_136
0_0_0_60_0_0 <- 650_1008_0_46_2_141
3507_1011_1_109_0_0 <- 2640_1018_0_109_2_0
2330_1015_0_89_2_0 <- 3507_1010_5_89_0_0
3507_1011_1_110_0_0 <- 2640_1018_0_110_2_0
2330_1015_0_90_2_0 <- 3507_1010_5_90_0_0
3507_1011_1_111_0_0 <- 2640_1018_0_111_2_0
1554_1019_0_26_0_6106 <- 1554_1019_0_26_0_0
1287_1019_0_40_2_0 <- 4287_1010_5_40_0_0
2330_1015_0_91_2_0 <- 3507_1010_5_91_0_0
4046_1016_0_24_0_0 <- 3855_1016_0_24_0_0
2723_1014_0_41_0_0 <- 3376_1010_0_41_0_0
24808_1017_0_24_2_0 <- 0_0_0_24_0_0
1554_1019_0_38_0_6005 <- 1554_1019_0_38_0_0
1287_1019_0_53_2_0 <- 4287_1010_5_53_0_0
4046_1016_0_36_0_0 <- 3855_1016_0_36_0_0
2723_1014_0_54_0_0 <- 3376_1010_0_54_0_0
24808_1017_0_36_2_0 <- 0_0_0_36_0_0
1554_1019_0_51_0_5894 <- 1554_1019_0_51_0_0
4046_1016_0_49_0_0 <- 3855_1016_0_49_0_0
3781_1011_0_65_0_0 <- 6528_1007_0_65_0_0
16734_1012_0_24_0_6118 <- 16734_1012_0_24_0_0
24808_1017_0_49_2_0 <- 0_0_0_49_0_0
3011_1013_0_5_2_221 <- 3011_1013_0_5_2_10
3011_1013_0_5_2_222 <- 3011_1013_0_5_2_10
3011_1013_0_5_2_223 <- 3011_1013_0_5_2_222
3011_1013_0_5_2_224 <- 3011_1013_0_5_2_222
3011_1013_0_5_2_225 <- 3011_1013_0_5_2_224
3011_1013_0_5_2_226 <- 3011_1013_0_5_2_224
3011_1013_0_5_2_227 <- 3011_1013_0_5_2_226
3011_1013_0_5_2_228 <- 3011_1013_0_5_2_226
3011_1013_0_5_2_229 <- 3011_1013_0_5_2_228
3011_1013_0_5_2_230 <- 3011_1013_0_5_2_228
3011_1013_0_5_2_231 <- 3011_1013_0_5_2_230
3011_1013_0_5_2_232 <- 3011_1013_0_5_2_230
3011_1013_0_5_2_233 <- 3011_1013_0_5_2_232
3011_1013_0_5_2_234 <- 3011_1013_0_5_2_232
3011_1013_0_5_2_235 <- 3011_1013_0_5_2_234
3011_1013_0_5_2_236 <- 3011_1013_0_5_2_234
3011_1013_0_5_2_237 <- 3011_1013_0_5_2_236
3011_1013_0_5_2_238 <- 3011_1013_0_5_2_236
3011_1013_0_5_2_239 <- 3011_1013_0_5_2_238
3011_1013_0_5_2_240 <- 3011_1013_0_5_2_238
712_1018_0_46_0_0 <- 517_1018_0_46_0_0
3011_1013_0_12_2_30 <- 3011_1013_0_12_2_28
3011_1013_0_12_2_31 <- 3011_1013_0_12_2_28
3011_1013_0_12_2_32 <- 3011_1013_0_12_2_31
3011_1013_0_12_2_33 <- 3011_1013_0_12_2_31
3011_1013_0_12_2_34 <- 3011_1013_0_12_2_33
3011_1013_0_12_2_35 <- 3011_1013_0_12_2_33
3011_1013_0_12_2_36 <- 3011_1013_0_12_2_35
3011_1013_0_12_2_37 <- 3011_1013_0_12_2_35
3011_1013_0_12_2_38 <- 3011_1013_0_12_2_37
3011_1013_0_12_2_39 <- 3011_1013_0_12_2_37
3011_1013_0_12_2_40 <- 3011_1013_0_12_2_39
3011_1013_0_12_2_41 <- 3011_1013_0_12_2_39
3011_1013_0_12_2_42 <- 3011_1013_0_12_2_41
3011_1013_0_12_2_43 <- 3011_1013_0_12_2_41
3011_1013_0_12_2_44 <- 3011_1013_0_12_2_43
3011_1013_0_12_2_45 <- 3011_1013_0_12_2_43
3011_1013_0_12_2_46 <- 3011_1013_0_12_2_45
3011_1013_0_12_2_47 <- 3011_1013_0_12_2_45
3011_1013_0_12_2_48 <- 3011_1013_0_12_2_47
3011_1013_0_12_2_49 <- 3011_1013_0_12_2_47
16734_1012_0_36_0_6017 <- 16734_1012_0_36_0_0
1287_1019_0_87_2_0 <- 4287_1010_5_87_0_0
2723_1014_0_88_0_0 <- 3376_1010_0_88_0_0
16922_1012_2_94_0_0 <- 13426_1019_2_94_2_0
16734_1012_0_49_0_5906 <- 16734_1012_0_49_0_0
1554_1019_0_85_0_5677 <- 1554_1019_0_85_0_0
2116_1006_6_46_0_0 <- 926_1018_0_46_0_0
4046_1016_0_83_0_0 <- 3855_1016_0_83_0_0
24808_1017_0_83_2_0 <- 0_0_0_83_0_0
3988_1016_0_24_0_0 <- 3855_1016_0_24_0_0
3988_1016_0_36_0_0 <- 3855_1016_0_36_0_0
1703_1014_5_46_2_0 <- 670_1014_0_46_2_0
12621_1006_0_8_0_0 <- 14489_1002_0_8_0_0 , 9709_1011_0_8_0_0
6904_1010_0_27_0_0 <- 6049_1017_0_27_2_0 , 6908_1010_0_27_0_0
12621_1006_0_11_0_0 <- 14489_1002_0_11_0_0 , 9709_1011_0_11_0_0
16734_1012_0_83_0_5689 <- 16734_1012_0_83_0_0
3988_1016_0_49_0_0 <- 3855_1016_0_49_0_0
13179_1018_0_61_2_0 <- 0_0_0_61_0_0
6904_1010_0_39_0_0 <- 6049_1017_0_39_2_0 , 6908_1010_0_39_0_0
54_0_0_46_0_0 <- 54_0_0_48_0_4882 , 10388_1010_0_48_0_0 , 0_0_0_48_0_0
12621_1006_0_35_0_0 <- 14489_1002_0_35_0_0 , 9709_1011_0_35_0_0
6904_1010_0_52_0_0 <- 6049_1017_0_52_2_0 , 6908_1010_0_52_0_0
13179_1018_5_72_2_0 <- 0_0_0_72_0_0
14489_1002_5_8_0_5700 <- 14489_1002_5_8_0_0
14489_1002_5_11_0_6129 <- 14489_1002_5_11_0_0
12621_1006_0_48_0_0 <- 14489_1002_0_48_0_0 , 9709_1011_0_48_0_0
3988_1016_0_83_0_0 <- 3855_1016_0_83_0_0
3132_1010_0_30_0_0 <- 3192_1011_0_30_0_0
9832_1011_0_63_0_0 <- 16227_1007_0_63_0_0
3132_1010_0_31_0_0 <- 3192_1011_0_31_0_0
3132_1010_0_32_0_0 <- 3192_1011_0_32_0_0
3132_1010_0_42_0_0 <- 3192_1011_0_42_0_0
650_1008_0_46_2_136 <- 650_1008_0_46_2_0
650_1008_0_46_2_137 <- 650_1008_0_46_2_0
650_1008_0_46_2_141 <- 650_1008_0_46_2_137
650_1008_0_46_2_142 <- 650_1008_0_46_2_137
650_1008_0_46_2_139 <- 650_1008_0_46_2_138
650_1008_0_46_2_140 <- 650_1008_0_46_2_138 , 650_1008_0_46_2_139
3132_1010_0_43_0_0 <- 3192_1011_0_43_0_0
3132_1010_0_44_0_0 <- 3192_1011_0_44_0_0
74_0_0_46_0_0 <- 3785_1011_0_65_0_0 , 0_0_0_65_0_0 , 74_0_0_65_0_4913
6904_1010_0_86_0_0 <- 6049_1017_0_86_2_0 , 6908_1010_0_86_0_0
14489_1002_5_35_0_6028 <- 14489_1002_5_35_0_0
4498_1015_0_27_0_0 <- 6908_1010_5_27_0_0
4017_1008_0_7_2_15 <- 4017_1008_0_7_2_14
4017_1008_0_7_2_16 <- 4017_1008_0_7_2_14 , 4017_1008_0_7_2_15
4017_1008_0_7_2_201 <- 4017_1008_0_7_2_13
4017_1008_0_7_2_202 <- 4017_1008_0_7_2_13
4017_1008_0_7_2_203 <- 4017_1008_0_7_2_202
4017_1008_0_7_2_204 <- 4017_1008_0_7_2_202
4017_1008_0_7_2_205 <- 4017_1008_0_7_2_204
4017_1008_0_7_2_206 <- 4017_1008_0_7_2_204
4017_1008_0_7_2_207 <- 4017_1008_0_7_2_206
4017_1008_0_7_2_208 <- 4017_1008_0_7_2_206
4017_1008_0_7_2_209 <- 4017_1008_0_7_2_208
4017_1008_0_7_2_210 <- 4017_1008_0_7_2_208
4017_1008_0_7_2_211 <- 4017_1008_0_7_2_210
4017_1008_0_7_2_212 <- 4017_1008_0_7_2_210
4017_1008_0_7_2_213 <- 4017_1008_0_7_2_212
4017_1008_0_7_2_214 <- 4017_1008_0_7_2_212
4017_1008_0_7_2_215 <- 4017_1008_0_7_2_214
4017_1008_0_7_2_216 <- 4017_1008_0_7_2_214
4017_1008_0_7_2_217 <- 4017_1008_0_7_2_216
4017_1008_0_7_2_218 <- 4017_1008_0_7_2_216
4017_1008_0_7_2_219 <- 4017_1008_0_7_2_218
4017_1008_0_7_2_220 <- 4017_1008_0_7_2_218
5056_1012_0_27_0_0 <- 3785_1010_0_27_0_0
3132_1010_0_55_0_0 <- 3192_1011_0_55_0_0
3132_1010_0_56_0_0 <- 3192_1011_0_56_0_0
3132_1010_0_57_0_0 <- 3192_1011_0_57_0_0
14489_1002_5_48_0_5917 <- 14489_1002_5_48_0_0
4498_1015_0_39_0_0 <- 6908_1010_5_39_0_0
5056_1012_0_39_0_0 <- 3785_1010_0_39_0_0
265_1015_0_34_0_0 <- 254_1009_0_34_2_86
4498_1015_0_52_0_0 <- 6908_1010_5_52_0_0
7246_1018_1_64_2_0 <- 0_0_0_64_0_0
5056_1012_0_52_0_0 <- 3785_1010_0_52_0_0
2779_1018_5_68_2_5768 <- 2779_1018_5_68_2_0
7246_1018_0_75_2_0 <- 0_0_0_75_0_0
2779_1018_5_69_2_5761 <- 2779_1018_5_69_2_0
2779_1018_5_70_2_5754 <- 2779_1018_5_70_2_0
3132_1010_0_89_0_0 <- 3192_1011_0_89_0_0
3132_1010_0_90_0_0 <- 3192_1011_0_90_0_0
3132_1010_0_91_0_0 <- 3192_1011_0_91_0_0
3743_1012_0_19_0_0 <- 2793_1019_0_19_2_0
2525_1015_0_29_2_0 <- 3743_1010_5_29_0_0
9774_1011_0_63_0_0 <- 16227_1007_0_63_0_0
4498_1015_0_86_0_0 <- 6908_1010_5_86_0_0
2525_1015_0_41_2_0 <- 3743_1010_5_41_0_0
5056_1012_0_86_0_0 <- 3785_1010_0_86_0_0
3184_1012_0_68_0_0 <- 2330_1016_0_68_2_0
3184_1012_0_69_0_0 <- 2330_1016_0_69_2_0
3184_1012_0_70_0_0 <- 2330_1016_0_70_2_0
14481_1003_0_8_0_0 <- 12667_1007_0_8_2_0
14481_1003_0_11_0_0 <- 12667_1007_0_11_2_0
2525_1015_0_54_2_0 <- 3743_1010_5_54_0_0
2897_1017_0_29_2_6084 <- 2897_1017_0_29_2_0
10040_1010_0_8_0_5703 <- 10040_1010_0_8_0_0
10040_1010_0_11_0_6132 <- 10040_1010_0_11_0_0
2897_1017_0_41_2_5983 <- 2897_1017_0_41_2_0
14481_1003_0_35_0_0 <- 12667_1007_0_35_2_0
4287_1011_3_107_0_0 <- 4287_1011_1_107_0_0
2897_1017_0_54_2_5872 <- 2897_1017_0_54_2_0
2525_1015_0_88_2_0 <- 3743_1010_5_88_0_0
14481_1003_0_48_0_0 <- 12667_1007_0_48_2_0
10040_1010_0_35_0_6031 <- 10040_1010_0_35_0_0
13426_1019_2_15_2_0 <- 0_0_0_15_0_0
3743_1012_0_98_0_0 <- 2793_1019_0_98_2_0
10040_1010_0_48_0_5920 <- 10040_1010_0_48_0_0
2702_1017_0_30_2_0 <- 0_0_0_30_0_0
2702_1017_0_31_2_0 <- 0_0_0_31_0_0
2702_1017_0_32_2_0 <- 0_0_0_32_0_0
2897_1017_0_88_2_5655 <- 2897_1017_0_88_2_0
21_0_0_21_0_4664 <- 2598_1019_0_21_2_0 , 0_0_0_21_0_0
2702_1017_0_42_2_0 <- 0_0_0_42_0_0
2702_1017_0_43_2_0 <- 0_0_0_43_0_0
2702_1017_0_44_2_0 <- 0_0_0_44_0_0
2702_1017_0_55_2_0 <- 0_0_0_55_0_0
2702_1017_0_56_2_0 <- 0_0_0_56_0_0
2702_1017_0_57_2_0 <- 0_0_0_57_0_0
0_0_0_6_0_0 <- 3011_1013_0_5_2_9
916_1018_0_46_0_5710 <- 916_1018_0_46_0_0
0_0_0_93_0_0 <- 3011_1013_0_5_2_221
0_0_0_94_0_0 <- 3011_1013_0_5_2_223
0_0_0_95_0_0 <- 3011_1013_0_5_2_225
0_0_0_96_0_0 <- 3011_1013_0_5_2_227
0_0_0_97_0_0 <- 3011_1013_0_5_2_229
0_0_0_98_0_0 <- 3011_1013_0_5_2_231
0_0_0_99_0_0 <- 3011_1013_0_5_2_233
0_0_0_100_0_0 <- 3011_1013_0_5_2_235
0_0_0_101_0_0 <- 3011_1013_0_5_2_237
0_0_0_102_0_0 <- 3011_1013_0_5_2_239
0_0_0_11_0_0 <- 4401_1008_0_7_2_22
0_0_0_24_0_0 <- 4401_1008_0_7_2_52
0_0_0_25_0_0 <- 4401_1008_0_7_2_55
0_0_0_26_0_0 <- 4401_1008_0_7_2_58
0_0_0_27_0_0 <- 4401_1008_0_7_2_62
0_0_0_28_0_0 <- 4401_1008_0_7_2_65
0_0_0_29_0_0 <- 4401_1008_0_7_2_68
0_0_0_30_0_0 <- 4401_1008_0_7_2_70
0_0_0_31_0_0 <- 4401_1008_0_7_2_72
0_0_0_32_0_0 <- 4401_1008_0_7_2_74
0_0_0_33_0_0 <- 4401_1008_0_7_2_76
6908_1012_0_17_0_0 <- 5945_1019_0_17_2_0
4056_1015_0_28_0_0 <- 1500_1019_0_28_0_0
0_0_0_13_0_0 <- 3011_1013_0_12_2_27
0_0_0_14_0_0 <- 3011_1013_0_12_2_30
0_0_0_15_0_0 <- 3011_1013_0_12_2_32
0_0_0_16_0_0 <- 3011_1013_0_12_2_34
0_0_0_17_0_0 <- 3011_1013_0_12_2_36
0_0_0_18_0_0 <- 3011_1013_0_12_2_38
0_0_0_19_0_0 <- 3011_1013_0_12_2_40
0_0_0_20_0_0 <- 3011_1013_0_12_2_42
0_0_0_21_0_0 <- 3011_1013_0_12_2_44
0_0_0_22_0_0 <- 3011_1013_0_12_2_46
0_0_0_23_0_0 <- 3011_1013_0_12_2_48
1078_1014_0_46_2_0 <- 1058_1008_0_46_2_179
4056_1015_0_40_0_0 <- 1500_1019_0_40_0_0
2702_1017_0_89_2_0 <- 0_0_0_89_0_0
2702_1017_0_90_2_0 <- 0_0_0_90_0_0
4056_1015_0_53_0_0 <- 1500_1019_0_53_0_0
2702_1017_0_91_2_0 <- 0_0_0_91_0_0
9516_1011_0_8_0_0 <- 12000_1005_0_8_0_0
13426_1019_2_94_2_0 <- 0_0_0_94_0_0
9516_1011_0_11_0_0 <- 12000_1005_0_11_0_0
20_0_0_12_0_0 <- 0_0_0_20_0_0 , 20_0_0_20_0_4665 , 3507_1012_0_20_0_0
14864_1012_5_6_0_0 <- 12998_1019_5_6_2_0
14864_1012_5_13_0_0 <- 12998_1019_5_13_2_0
6572_1007_0_27_0_0 <- 5060_1012_5_27_2_0
9516_1011_0_35_0_0 <- 12000_1005_0_35_0_0
6572_1007_0_39_0_0 <- 5060_1012_5_39_2_0
4056_1015_0_87_0_0 <- 1500_1019_0_87_0_0
9516_1011_0_48_0_0 <- 12000_1005_0_48_0_0
6572_1007_0_52_0_0 <- 5060_1012_5_52_2_0
16492_1014_0_62_0_0 <- 11859_1018_0_62_0_0
6908_1012_0_96_0_0 <- 5945_1019_0_96_2_0
12000_1005_0_8_0_0 <- 11995_1004_0_8_0_0 , 11906_1005_0_8_0_0
12000_1005_0_11_0_0 <- 11995_1004_0_11_0_0 , 11906_1005_0_11_0_0
2461_1011_0_82_0_0 <- 2059_1018_0_82_2_0
113_0_0_101_0_4652 <- 2598_1019_0_101_2_0 , 0_0_0_101_0_0
13102_1017_0_8_2_0 <- 0_0_0_8_0_0
6572_1007_0_86_0_0 <- 5060_1012_5_86_2_0
13102_1017_0_11_2_0 <- 0_0_0_11_0_0
447_1017_0_34_2_0 <- 0_0_0_34_0_0
2194_1010_0_46_0_0 <- 1747_1017_0_46_2_0
12000_1005_0_35_0_0 <- 11995_1004_0_35_0_0 , 11906_1005_0_35_0_0
12000_1005_0_48_0_0 <- 11995_1004_0_48_0_0 , 11906_1005_0_48_0_0
13102_1017_0_35_2_0 <- 0_0_0_35_0_0
8764_1014_0_72_0_0 <- 2188_1019_0_72_0_0
16434_1014_0_62_0_0 <- 11859_1018_0_62_0_0
13102_1017_0_48_2_0 <- 0_0_0_48_0_0
6_0_0_6_0_4661 <- 12998_1019_5_6_2_0 , 0_0_0_6_0_0
1662_1014_5_46_2_0 <- 1078_1014_0_46_2_0
4058_1015_0_27_0_0 <- 4000_1015_0_27_0_0
2116_1006_1_46_0_0 <- 527_1018_0_46_0_0
4058_1015_0_39_0_0 <- 4000_1015_0_39_0_0
5047_1020_0_61_0_0 <- 14864_1011_5_61_0_0
8051_1013_0_64_0_0 <- 8242_1013_0_64_0_0
4058_1015_0_52_0_0 <- 4000_1015_0_52_0_0
16219_1007_0_63_0_0 <- 16386_1006_0_63_0_0
7169_1017_0_26_2_0 <- 0_0_0_26_0_0
12667_1007_0_8_2_0 <- 9562_1011_0_8_0_0
12667_1007_0_11_2_0 <- 9562_1011_0_11_0_0
7169_1017_0_38_2_0 <- 0_0_0_38_0_0
3462_1019_0_18_2_0 <- 0_0_0_18_0_0
3855_1016_0_24_0_0 <- 3713_1017_0_24_0_0
4058_1015_0_86_0_0 <- 4000_1015_0_86_0_0
7169_1017_0_51_2_0 <- 0_0_0_51_0_0
12667_1007_0_35_2_0 <- 9562_1011_0_35_0_0
3855_1016_0_36_0_0 <- 3713_1017_0_36_0_0
8475_1010_0_26_0_0 <- 7169_1017_0_26_2_0
2461_1011_5_71_0_0 <- 2059_1018_5_71_2_0
12667_1007_0_48_2_0 <- 9562_1011_0_48_0_0
8475_1010_0_38_0_0 <- 7169_1017_0_38_2_0
3855_1016_0_49_0_0 <- 3713_1017_0_49_0_0
32383_1003_0_24_0_0 <- 32443_998_0_24_0_0
7169_1017_0_85_2_0 <- 0_0_0_85_0_0
8475_1010_0_51_0_0 <- 7169_1017_0_51_2_0
3376_1011_0_67_0_5777 <- 3376_1011_0_67_0_0
32383_1003_0_36_0_0 <- 32443_998_0_36_0_0
32383_1003_0_49_0_0 <- 32443_998_0_49_0_0
3855_1016_0_83_0_0 <- 3713_1017_0_83_0_0
3507_1010_0_30_0_6074 <- 3507_1010_0_30_0_0
3507_1010_0_31_0_6063 <- 3507_1010_0_31_0_0
3507_1010_0_32_0_6052 <- 3507_1010_0_32_0_0
3797_1016_0_24_0_0 <- 3713_1017_0_24_0_0
3507_1010_5_30_0_0 <- 3507_1010_0_30_0_0
3507_1010_5_31_0_0 <- 3507_1010_0_31_0_0
3507_1010_5_32_0_0 <- 3507_1010_0_32_0_0
8475_1010_0_85_0_0 <- 7169_1017_0_85_2_0
926_1018_0_46_0_0 <- 916_1018_0_46_0_0
3462_1019_0_97_2_0 <- 0_0_0_97_0_0
3507_1010_0_42_0_5973 <- 3507_1010_0_42_0_0
3507_1010_0_43_0_5962 <- 3507_1010_0_43_0_0
3507_1010_0_44_0_5951 <- 3507_1010_0_44_0_0
3797_1016_0_36_0_0 <- 3713_1017_0_36_0_0
3507_1010_5_42_0_0 <- 3507_1010_0_42_0_0
3507_1010_5_43_0_0 <- 3507_1010_0_43_0_0
11995_1004_0_8_0_0 <- 14437_1000_0_8_0_0
3507_1010_5_44_0_0 <- 3507_1010_0_44_0_0
11995_1004_0_11_0_0 <- 14437_1000_0_11_0_0
874_1014_0_46_2_0 <- 854_1008_0_46_2_147
3507_1010_0_55_0_5862 <- 3507_1010_0_55_0_0
3507_1010_0_56_0_5851 <- 3507_1010_0_56_0_0
32383_1003_0_83_0_0 <- 32443_998_0_83_0_0
3507_1010_0_57_0_5840 <- 3507_1010_0_57_0_0
3797_1016_0_49_0_0 <- 3713_1017_0_49_0_0
475_1014_0_46_2_5926 <- 475_1014_0_46_2_0
3507_1010_5_55_0_0 <- 3507_1010_0_55_0_0
3507_1010_5_56_0_0 <- 3507_1010_0_56_0_0
3507_1010_5_57_0_0 <- 3507_1010_0_57_0_0
32962_1011_4_103_0_0 <- 32962_1011_2_103_0_0
14489_1005_0_61_0_0 <- 12667_1009_0_61_2_0
88_0_0_76_0_4955 <- 0_0_0_76_0_0 , 6908_1011_0_76_0_0 , 4000_1016_0_76_0_0 , 6126_1018_0_76_2_0
11995_1004_0_35_0_0 <- 14437_1000_0_35_0_0
2311_1012_5_33_0_6046 <- 2311_1012_5_33_0_0
2311_1012_5_45_0_5945 <- 2311_1012_5_45_0_0
11995_1004_0_48_0_0 <- 14437_1000_0_48_0_0
3507_1010_0_89_0_5645 <- 3507_1010_0_89_0_0
3507_1010_0_90_0_5634 <- 3507_1010_0_90_0_0
3507_1010_0_91_0_5623 <- 3507_1010_0_91_0_0
3797_1016_0_83_0_0 <- 3713_1017_0_83_0_0
3507_1010_5_89_0_0 <- 3507_1010_0_89_0_0
1_0_0_1_0_1 <- 0_0_0_0_0_0
3507_1010_5_90_0_0 <- 3507_1010_0_90_0_0
3507_1010_5_91_0_0 <- 3507_1010_0_91_0_0
2311_1012_5_58_0_5834 <- 2311_1012_5_58_0_0
3507_1012_0_20_0_0 <- 2598_1019_0_20_2_0
3507_1012_0_21_0_0 <- 2598_1019_0_21_2_0
13179_1018_0_61_2_5805 <- 13179_1018_0_61_2_0
3507_1012_0_22_0_0 <- 2598_1019_0_22_2_0
2311_1012_5_92_0_5617 <- 2311_1012_5_92_0_0
2528_1015_0_68_0_0 <- 3140_1011_0_68_0_0
2528_1015_0_69_0_0 <- 3140_1011_0_69_0_0
8521_1010_0_26_0_60 <- 8475_1010_5_26_0_0
2528_1015_0_70_0_0 <- 3140_1011_0_70_0_0
12861_1005_0_8_0_0 <- 13929_1001_0_8_0_5701 , 13929_1001_5_8_0_5704
8521_1010_0_38_0_60 <- 8475_1010_5_38_0_0
12861_1005_0_11_0_0 <- 13929_1001_0_11_0_6130 , 13929_1001_5_11_0_6133
242_1008_0_46_2_109 <- 242_1008_0_46_2_0
242_1008_0_46_2_110 <- 242_1008_0_46_2_0
4287_1011_0_77_0_0 <- 3643_1018_0_77_2_0
3507_1010_5_30_0_6075 <- 3507_1010_5_30_0_0
8521_1010_0_51_0_60 <- 8475_1010_5_51_0_0
3507_1010_5_31_0_6064 <- 3507_1010_5_31_0_0
3507_1012_0_99_0_0 <- 2598_1019_0_99_2_0
3507_1010_5_32_0_6053 <- 3507_1010_5_32_0_0
3507_1012_0_100_0_0 <- 2598_1019_0_100_2_0
3507_1012_0_101_0_0 <- 2598_1019_0_101_2_0
3507_1010_5_42_0_5974 <- 3507_1010_5_42_0_0
12861_1005_0_35_0_0 <- 13929_1001_0_35_0_6029 , 13929_1001_5_35_0_6032
3507_1010_5_43_0_5963 <- 3507_1010_5_43_0_0
3507_1010_5_44_0_5952 <- 3507_1010_5_44_0_0
1283_1019_0_28_0_0 <- 4287_1010_5_28_0_0
3507_1010_5_55_0_5863 <- 3507_1010_5_55_0_0
12861_1005_0_48_0_0 <- 13929_1001_0_48_0_5918 , 13929_1001_5_48_0_5921
3507_1010_5_56_0_5852 <- 3507_1010_5_56_0_0
32962_1011_0_62_0_0 <- 25420_1018_0_62_2_0
3507_1010_5_57_0_5841 <- 3507_1010_5_57_0_0
1283_1019_0_40_0_0 <- 4287_1010_5_40_0_0
14489_1005_5_61_0_0 <- 12667_1009_5_61_2_0
8521_1010_0_85_0_60 <- 8475_1010_5_85_0_0
18110_1009_0_62_0_0 <- 32391_1005_0_62_0_0
24804_1017_0_24_0_0 <- 0_0_0_24_0_0
93_0_0_81_0_4950 <- 0_0_0_81_0_0 , 2779_1018_0_81_2_0
1283_1019_0_53_0_0 <- 4287_1010_5_53_0_0
3308_1019_0_8_0_5699 <- 3308_1019_0_8_0_0
3308_1019_0_11_0_6128 <- 3308_1019_0_11_0_0
12667_1009_5_61_2_0 <- 14489_1005_0_61_0_0
24804_1017_0_36_0_0 <- 0_0_0_36_0_0
10941_1013_0_61_0_148 <- 12000_1008_0_61_0_0
3507_1010_5_89_0_5646 <- 3507_1010_5_89_0_0
3507_1010_5_90_0_5635 <- 3507_1010_5_90_0_0
24804_1017_0_49_0_0 <- 0_0_0_49_0_0
3507_1010_5_91_0_5624 <- 3507_1010_5_91_0_0
11914_1005_0_8_2_0 <- 9331_1013_0_8_0_0
11914_1005_0_11_2_0 <- 9331_1013_0_11_0_0
3308_1019_0_35_0_6027 <- 3308_1019_0_35_0_0
242_1008_0_46_2_0 <- 2116_1006_0_46_0_0
1283_1019_0_87_0_0 <- 4287_1010_5_87_0_0
3308_1019_0_48_0_5916 <- 3308_1019_0_48_0_0
11914_1005_0_35_2_0 <- 9331_1013_0_35_0_0
24804_1017_0_83_0_0 <- 0_0_0_83_0_0
1363_1019_0_28_0_0 <- 1287_1019_0_28_2_0
18052_1009_0_62_0_0 <- 32391_1005_0_62_0_0
2116_1004_0_46_0_0 <- 2116_1005_0_46_0_0
11914_1005_0_48_2_0 <- 9331_1013_0_48_0_0
1699_1014_0_46_0_0 <- 670_1014_0_46_2_0
1363_1019_0_40_0_0 <- 1287_1019_0_40_2_0
8310_1015_0_25_0_0 <- 8198_1015_0_25_0_0
8475_1011_1_105_0_0 <- 7107_1018_0_105_2_0
1363_1019_0_53_0_0 <- 1287_1019_0_53_2_0
8310_1015_0_37_0_0 <- 8198_1015_0_37_0_0
1407_1019_0_26_0_0 <- 8475_1010_5_26_0_0
8310_1015_0_50_0_0 <- 8198_1015_0_50_0_0
4287_1011_5_66_0_0 <- 3643_1018_5_66_2_0
5945_1019_0_17_2_0 <- 0_0_0_17_0_0
1407_1019_0_38_0_0 <- 8475_1010_5_38_0_0
722_1018_0_46_0_0 <- 712_1018_0_46_0_0
1363_1019_0_87_0_0 <- 1287_1019_0_87_2_0
4401_1008_0_7_2_52 <- 4401_1008_0_7_2_23
4401_1008_0_7_2_53 <- 4401_1008_0_7_2_23
4401_1008_0_7_2_25 <- 4401_1008_0_7_2_24
4401_1008_0_7_2_26 <- 4401_1008_0_7_2_24 , 4401_1008_0_7_2_25
4401_1008_0_7_2_55 <- 4401_1008_0_7_2_53
4401_1008_0_7_2_56 <- 4401_1008_0_7_2_53
4401_1008_0_7_2_58 <- 4401_1008_0_7_2_56
4401_1008_0_7_2_59 <- 4401_1008_0_7_2_56
4401_1008_0_7_2_62 <- 4401_1008_0_7_2_59
4401_1008_0_7_2_63 <- 4401_1008_0_7_2_59
4401_1008_0_7_2_65 <- 4401_1008_0_7_2_63
4401_1008_0_7_2_66 <- 4401_1008_0_7_2_63
4401_1008_0_7_2_68 <- 4401_1008_0_7_2_66
4401_1008_0_7_2_69 <- 4401_1008_0_7_2_66
4401_1008_0_7_2_70 <- 4401_1008_0_7_2_69
4401_1008_0_7_2_71 <- 4401_1008_0_7_2_69
4401_1008_0_7_2_72 <- 4401_1008_0_7_2_71
4401_1008_0_7_2_73 <- 4401_1008_0_7_2_71
4401_1008_0_7_2_74 <- 4401_1008_0_7_2_73
4401_1008_0_7_2_75 <- 4401_1008_0_7_2_73
4401_1008_0_7_2_76 <- 4401_1008_0_7_2_75
4401_1008_0_7_2_77 <- 4401_1008_0_7_2_75
108_0_0_96_0_4657 <- 5945_1019_0_96_2_0 , 0_0_0_96_0_0
1407_1019_0_51_0_0 <- 8475_1010_5_51_0_0
670_1014_0_46_2_0 <- 650_1008_0_46_2_140
21181_1006_0_24_0_0 <- 18110_1007_0_24_0_0
8310_1015_0_84_0_0 <- 8198_1015_0_84_0_0
4494_1015_0_27_0_0 <- 6908_1010_5_27_0_0
8252_1015_0_25_0_0 <- 8198_1015_0_25_0_0
2330_1016_0_68_2_0 <- 3507_1011_5_68_0_0
2330_1016_0_69_2_0 <- 3507_1011_5_69_0_0
32435_1000_0_62_0_0 <- 21181_1004_0_62_0_0
2330_1016_0_70_2_0 <- 3507_1011_5_70_0_0
21181_1006_0_36_0_0 <- 18110_1007_0_36_0_0
5060_1011_5_27_2_0 <- 4498_1015_0_27_0_0
4494_1015_0_39_0_0 <- 6908_1010_5_39_0_0
32962_1011_5_73_0_0 <- 25420_1018_5_73_2_0
2059_1018_5_71_2_0 <- 0_0_0_71_0_0
8252_1015_0_37_0_0 <- 8198_1015_0_37_0_0
21181_1006_0_49_0_0 <- 18110_1007_0_49_0_0
1407_1019_0_85_0_0 <- 8475_1010_5_85_0_0
1069_1014_0_46_0_0 <- 1058_1008_0_46_2_179
2059_1018_0_82_2_0 <- 0_0_0_82_0_0
5060_1011_5_39_2_0 <- 4498_1015_0_39_0_0
4494_1015_0_52_0_0 <- 6908_1010_5_52_0_0
3376_1010_0_29_0_0 <- 3428_1011_0_29_0_0
7242_1018_0_64_0_0 <- 0_0_0_64_0_0
8252_1015_0_50_0_0 <- 8198_1015_0_50_0_0
32391_1005_0_62_0_0 <- 32443_1000_0_62_0_0
24746_1018_0_103_2_0 <- 0_0_0_103_0_0
5060_1011_5_52_2_0 <- 4498_1015_0_52_0_0
3376_1010_0_41_0_0 <- 3428_1011_0_41_0_0
5945_1019_0_96_2_0 <- 0_0_0_96_0_0
3376_1010_0_54_0_0 <- 3428_1011_0_54_0_0
21181_1006_0_83_0_0 <- 18110_1007_0_83_0_0
2723_1015_0_67_0_0 <- 3376_1011_0_67_0_0
4494_1015_0_86_0_0 <- 6908_1010_5_86_0_0
8252_1015_0_84_0_0 <- 8198_1015_0_84_0_0
4161_1008_0_7_2_20 <- 4161_1008_0_7_2_19
4161_1008_0_7_2_21 <- 4161_1008_0_7_2_19 , 4161_1008_0_7_2_20
4161_1008_0_7_2_80 <- 4161_1008_0_7_2_18
4161_1008_0_7_2_81 <- 4161_1008_0_7_2_18
4161_1008_0_7_2_107 <- 4161_1008_0_7_2_81
4161_1008_0_7_2_108 <- 4161_1008_0_7_2_81
5060_1011_5_86_2_0 <- 4498_1015_0_86_0_0
3376_1010_0_88_0_0 <- 3428_1011_0_88_0_0
11290_1013_0_61_0_5812 <- 11290_1013_0_61_0_0
4498_1016_0_65_0_0 <- 6908_1011_1_65_0_0
2311_1012_0_33_0_0 <- 802_1019_0_33_0_0
2116_1006_3_46_0_0 <- 722_1018_0_46_0_0
6908_1011_2_106_0_0 <- 6908_1011_6_106_0_0
2311_1012_0_45_0_0 <- 802_1019_0_45_0_0
16386_1005_0_25_0_0 <- 9572_1009_0_25_0_0
2311_1012_0_58_0_0 <- 802_1019_0_58_0_0
16386_1005_0_37_0_0 <- 9572_1009_0_37_0_0
16386_1005_0_50_0_0 <- 9572_1009_0_50_0_0
2311_1012_0_92_0_0 <- 802_1019_0_92_0_0
119_1018_0_46_0_0 <- 2116_1008_0_46_0_0
2108_1008_0_46_0_0 <- 2194_1010_0_46_0_0
16386_1005_0_84_0_0 <- 9572_1009_0_84_0_0
0_0_0_8_0_0 <- 4017_1008_0_7_2_12
11638_1013_0_61_0_0 <- 12907_1008_0_61_0_5811 , 12907_1008_5_61_0_0
0_0_0_83_0_0 <- 4017_1008_0_7_2_201
0_0_0_84_0_0 <- 4017_1008_0_7_2_203
0_0_0_85_0_0 <- 4017_1008_0_7_2_205
0_0_0_86_0_0 <- 4017_1008_0_7_2_207
0_0_0_87_0_0 <- 4017_1008_0_7_2_209
0_0_0_88_0_0 <- 4017_1008_0_7_2_211
0_0_0_89_0_0 <- 4017_1008_0_7_2_213
0_0_0_90_0_0 <- 4017_1008_0_7_2_215
0_0_0_91_0_0 <- 4017_1008_0_7_2_217
0_0_0_92_0_0 <- 4017_1008_0_7_2_219
3132_1011_0_68_0_0 <- 3192_1012_0_68_0_0
3132_1011_0_69_0_0 <- 3192_1012_0_69_0_0
3132_1011_0_70_0_0 <- 3192_1012_0_70_0_0
274_1015_0_34_2_6037 <- 274_1015_0_34_2_0
16734_1012_0_24_0_0 <- 16604_1012_0_24_0_0
16922_1011_1_63_0_0 <- 13607_1018_5_63_2_0
15998_1014_0_73_0_0 <- 15886_1014_0_73_0_0
16734_1012_0_36_0_0 <- 16604_1012_0_36_0_0
16734_1012_0_49_0_0 <- 16604_1012_0_49_0_0
172_1017_0_10_2_0 <- 0_0_0_10_0_0
2525_1016_0_67_2_0 <- 3743_1011_5_67_0_0
16922_1011_7_74_0_0 <- 13607_1018_6_74_2_0
2190_1010_0_46_0_0 <- 1747_1017_0_46_2_0
16734_1012_0_83_0_0 <- 16604_1012_0_83_0_0
16676_1012_0_24_0_0 <- 16604_1012_0_24_0_0
15940_1014_0_73_0_0 <- 15886_1014_0_73_0_0
6580_1006_5_27_0_6101 <- 6580_1006_5_27_0_0
16676_1012_0_36_0_0 <- 16604_1012_0_36_0_0
2640_1018_0_109_2_0 <- 0_0_0_109_0_0
2640_1018_0_110_2_0 <- 0_0_0_110_0_0
2640_1018_0_111_2_0 <- 0_0_0_111_0_0
6580_1006_5_39_0_6000 <- 6580_1006_5_39_0_0
16676_1012_0_49_0_0 <- 16604_1012_0_49_0_0
6580_1006_5_52_0_5889 <- 6580_1006_5_52_0_0
865_1014_0_46_0_0 <- 854_1008_0_46_2_147
4054_1015_0_27_0_0 <- 4000_1015_0_27_0_0
32443_1002_0_24_0_0 <- 21181_1006_0_24_0_0
9572_1009_0_25_0_0 <- 8916_1015_0_25_0_0
4054_1015_0_39_0_0 <- 4000_1015_0_39_0_0
32443_1002_0_36_0_0 <- 21181_1006_0_36_0_0
517_1018_0_46_0_0 <- 304_1018_0_46_0_0
9572_1009_0_37_0_0 <- 8916_1015_0_37_0_0
11949_1007_0_61_0_0 <- 14437_1003_0_61_0_0
1982_1017_0_33_2_0 <- 0_0_0_33_0_0
2974_1018_5_67_2_0 <- 0_0_0_67_0_0
16676_1012_0_83_0_0 <- 16604_1012_0_83_0_0
4054_1015_0_52_0_0 <- 4000_1015_0_52_0_0
2974_1018_0_78_2_0 <- 0_0_0_78_0_0
32443_1002_0_49_0_0 <- 21181_1006_0_49_0_0
9572_1009_0_50_0_0 <- 8916_1015_0_50_0_0
6580_1006_5_86_0_5672 <- 6580_1006_5_86_0_0
1982_1017_0_45_2_0 <- 0_0_0_45_0_0
7165_1017_0_26_0_0 <- 0_0_0_26_0_0
13040_1018_0_4_2_0 <- 0_0_0_4_0_0
3012_1018_0_73_0_0 <- 2870_1019_0_73_0_0
1982_1017_0_58_2_0 <- 0_0_0_58_0_0
3743_1011_0_78_0_0 <- 2974_1018_0_78_2_0
916_1018_0_46_0_0 <- 712_1018_0_46_0_0
7165_1017_0_38_0_0 <- 0_0_0_38_0_0
14864_1011_5_61_0_0 <- 13179_1018_0_61_2_0
4054_1015_0_86_0_0 <- 4000_1015_0_86_0_0
7165_1017_0_51_0_0 <- 0_0_0_51_0_0
32443_1002_0_83_0_0 <- 21181_1006_0_83_0_0
9572_1009_0_84_0_0 <- 8916_1015_0_84_0_0
8804_1015_0_25_0_0 <- 16922_1010_5_25_0_0
21181_1004_0_62_0_0 <- 16734_1014_0_62_0_0
16492_1012_0_24_0_0 <- 4046_1016_0_24_0_0
2457_1011_0_71_0_0 <- 2059_1018_5_71_2_0
1982_1017_0_92_2_0 <- 0_0_0_92_0_0
8804_1015_0_37_0_0 <- 16922_1010_5_37_0_0
16492_1012_0_36_0_0 <- 4046_1016_0_36_0_0
8916_1014_0_72_0_0 <- 8906_1013_0_72_0_0
8242_1012_0_26_0_0 <- 1407_1019_0_26_0_0
8804_1015_0_50_0_0 <- 16922_1010_5_50_0_0
7165_1017_0_85_0_0 <- 0_0_0_85_0_0
16492_1012_0_49_0_0 <- 4046_1016_0_49_0_0
8242_1012_0_38_0_0 <- 1407_1019_0_38_0_0
13929_1001_0_8_0_0 <- 14489_1002_5_8_0_0
13929_1001_0_11_0_0 <- 14489_1002_5_11_0_0
2954_1018_0_73_0_0 <- 2870_1019_0_73_0_0
8242_1012_0_51_0_0 <- 1407_1019_0_51_0_0
8804_1015_0_84_0_0 <- 16922_1010_5_84_0_0
13929_1001_0_35_0_0 <- 14489_1002_5_35_0_0
16492_1012_0_83_0_0 <- 4046_1016_0_83_0_0
8198_1016_0_74_0_0 <- 16922_1011_7_74_0_0
8746_1015_0_25_0_0 <- 16922_1010_5_25_0_0
16434_1012_0_24_0_0 <- 4046_1016_0_24_0_0
13929_1001_0_48_0_0 <- 14489_1002_5_48_0_0
8746_1015_0_37_0_0 <- 16922_1010_5_37_0_0
8242_1012_0_85_0_0 <- 1407_1019_0_85_0_0
16434_1012_0_36_0_0 <- 4046_1016_0_36_0_0
2188_1019_0_72_0_0 <- 14864_1011_3_72_0_0
8746_1015_0_50_0_0 <- 16922_1010_5_50_0_0
16434_1012_0_49_0_0 <- 4046_1016_0_49_0_0
6908_1011_0_76_0_0 <- 6126_1018_0_76_2_0
8916_1015_0_25_0_0 <- 8804_1015_0_25_0_0
14429_1000_0_8_0_0 <- 11914_1005_0_8_2_0
4000_1016_0_76_0_0 <- 6908_1011_0_76_0_0
14429_1000_0_11_0_0 <- 11914_1005_0_11_2_0
0_0_0_0_0_0 <-